The following pages link to Mike Stannett (Q514564):
Displaying 26 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)
- (Q3831698) (← links)
- P Systems Controlled by General Topologies (Q4648190) (← links)
- (Q4805387) (← links)
- Membrane Systems and Hypercomputation (Q4913832) (← links)
- Faster than light motion does not imply time travel (Q4979687) (← links)
- (Q5039113) (← links)
- GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS (Q5078813) (← links)
- THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE (Q5357328) (← links)
- (Q5869542) (← links)
