The following pages link to Mike Stannett (Q514564):
Displaying 17 items.
- Motion and observation in a single-particle universe (Q514565) (← links)
- The computational status of physics (Q734210) (← links)
- X-machines and the halting problem: Building a super-turing machine (Q919823) (← links)
- Infinite concurrent systems. I: The relationship between metric and order convergence (Q1346609) (← links)
- Modelling and validating an engineering application in kernel P systems (Q1749168) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- Computing the appearance of physical reality (Q2249006) (← links)
- Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
- Simulation testing of automata (Q2432219) (← links)
- Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase? (Q2447862) (← links)
- The case for hypercomputation (Q2497872) (← links)
- Membrane system models for super-Turing paradigms (Q2629934) (← links)
- An Integrated Model Checking Toolset for Kernel P Systems (Q2789127) (← links)
- Spatially Localised Membrane Systems (Q2805455) (← links)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics (Q2945876) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
