Mike Stannett

Mike Stannett

University of Sheffield - Sheffield / United Kingdom
Natural Sciences / Physics
AD Scientific Index ID: 907804
Sheffield University
person_outline Mike Stannett's MOST POPULAR ARTICLES
1-) X-machines and the halting problem: Building a super-Turing machineM StannettFormal Aspects of Computing 2 (1), 331-341, 19901051990
2-) Are there asymmetries in UK consumption? A time series analysisS Holly, M StannettApplied Economics 27 (8), 767-772, 1995671995
3-) The case for hypercomputationM StannettApplied Mathematics and Computation 178 (1), 8-24, 2006552006
4-) Computation and hypercomputationM StannettMinds and Machines 13, 115-153, 2003542003
5-) Using Isabelle/HOL to verify first-order relativity theoryM Stannett, I NémetiJournal of automated reasoning 52, 361-378, 201438*2014