|
|
|---|
| John Fisher |
| Professor Emeritus |
|
|
|
|
|
|
CS245 Programming Graphical User Interfaces
♦♦ John Fisher and Marc Bezem, Skolem Machines, Fundamenta Informaticae issue on Machines, Computation and Universality, 91 (1) 2009, pp. 79-103.
♥ Research visit to the Institute for Informatics, University of Bergen, Norway, March 2008.
prolog :- tutorial. ... an update
Automated Coherent Logic project at UiB Norway ...
♦ John Fisher and Marc Bezem, Query Completeness of Skolem Machine Computations. In J. Durand-Los`e and M. Margenstern, editors, Proc. Machines, Computations and Universality 07, Universite d`Orleans - LIFO, Orleans, France September 10-14, 2007. Springer LNCS vol. 4664, pp. 182-192.
♦ John Fisher and Marc Bezem, Skolem Machines and Geometric Logic. In C.B. Jones, Z. Liu and J. Woodcock, Proc. ICTAC 2007 The 4th International Colloquium on Theoretical Aspects of Computing, Macao SAR, China, September 26-28, 2007. Springer LNCS vol. 4711, pp. 201-215.
♣ Geolog and Skolem Machines web page with Marc Bezem, Prolog implementations, sample theories.
CS311 Language Translation and Automata