This document is unfortunately not available for download at the moment.
1937-1938
Logic and relativity theory
Székely Gergely
1939-1954
1955-1988
The machine as data
Cooper S. Barry
1989-2008
A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-turing computer
Wüthrich Christian
2009-2024
2025-2033
2035-2051
2053-2076
Formal statement of the special principle oF Relativity
Gömöri Márton; Szabó László E.
2077-2094
Proof verification and proof discovery for relativity
Sundar Govindarajalulu Naveen; Bringsjord Selmer
2095-2121
A classification of certain group-like fl $$_e$$
e -chains
Jenei Sándor; Montagna Franco
2123-2138
Visions of Henkin
Manzano María; Alonso Enrique
2139-2149
Starting from the scenario Euclid–Bolyai–Einstein
Marcus Solomon
2151-2158
The equational theories of representable residuated semigroups
Mikulás Szabolcs
2159-2182
Complexity of equational theory of relational algebras with standard projection elements
Mikulás Szabolcs; Sain Ildikó; András Simon
2183-2222
Axiomatizing relativistic dynamics using formal thought experiments
Molnár Attila; Székely Gergely
2223-2259
Neat embeddings as adjoint situations
Sayed-Ahmed Tarek
2261-2271
Motion and observation in a single-particle universe
Stannett Mike
2273-2292
2293-2309
2311-2336
Rational evaluation in belief revision
Yuan Yongfeng
Not implemented yet !