Hajnal Andréka, Judit X. Madarász, István Németi. Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories. Parallel Processing Letters, 22(3), 2012. [doi]
@article{AndrekaMN12-0,
title = {Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories},
author = {Hajnal Andréka and Judit X. Madarász and István Németi},
year = {2012},
doi = {10.1142/S0129626412400117},
url = {http://dx.doi.org/10.1142/S0129626412400117},
researchr = {https://researchr.org/publication/AndrekaMN12-0},
cites = {0},
citedby = {0},
journal = {Parallel Processing Letters},
volume = {22},
number = {3},
}