Items where authors include "Németi, I."

Article

Stannett, M. orcid.org/0000-0002-2794-8614, Higgins, E., Andréka, H. et al. (3 more authors) (2023) No faster-than-light observers (GenRel). Archive of Formal Proofs, 2023. ISSN 2150-914x

Stannett, M.P. orcid.org/0000-0002-2794-8614, Andréka, H., Madarász, J.X. et al. (2 more authors) (2014) Faster than light motion does not imply time travel. Classical and Quantum Gravity, 31 (9). 095005. ISSN 0264-9381

Stannett, M.P. orcid.org/0000-0002-2794-8614 and Németi, I. (2013) Using Isabelle/HOL to verify first-order relativity theory. Journal of Automated Reasoning, 52. pp. 361-378. ISSN 0168-7433