Mike Stannett

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

4 Mike Stannett: The case for hypercomputation. Applied Mathematics and Computation 178(1): 8-24 (2006)

3 Mike 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)

	2006
4		Mike Stannett: The case for hypercomputation. Applied Mathematics and Computation 178(1): 8-24 (2006)
3		Mike 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)