dblp.uni-trier.dewww.uni-trier.de

Hugh Gibbons

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
2EEHugh Gibbons: Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem. Electr. Notes Theor. Comput. Sci. 225: 83-98 (2009)
1998
1 Hugh Gibbons: Declarative View of Imperative Programs. IWFM 1998

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)