Repository | Journal | Volume
2015
399 Pages
ISBN n/a
Publication details
Full citation:
Székely, G. (ed) (2015). Logic and relativity theory. Synthese 192 (7).
Table of Contents
The relativity and universality of logic
1939-1954
A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-turing computer
Wüthrich Christian
1989-2008
Proof verification and proof discovery for relativity
Sundar Govindarajalulu Naveen; Bringsjord Selmer
2077-2094
Complexity of equational theory of relational algebras with standard projection elements
Mikulás Szabolcs; Sain Ildikó; András Simon
2159-2182
Axiomatizing relativistic dynamics using formal thought experiments
Molnár Attila; Székely Gergely
2183-2222
This document is unfortunately not available for download at the moment.