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

Mike Stannett

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

2006
4EEMike Stannett: The case for hypercomputation. Applied Mathematics and Computation 178(1): 8-24 (2006)
3EEMike Stannett: Simulation testing of automata. Formal Asp. Comput. 18(1): 31-41 (2006)
1994
2 Mike Stannett: Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Asp. Comput. 6(6): 696-715 (1994)
1990
1 Mike Stannett: X-Machines and the Halting Problem: Building a Super-Turing Machine. Formal Asp. Comput. 2(4): 331-341 (1990)

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