Valentin Goranko. Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. In Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani, editors, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. pages 3-4, IEEE Computer Society, 2012. [doi]
@inproceedings{Goranko12,
title = {Undecidability and Temporal Logic: Some Landmarks from Turing to the Present},
author = {Valentin Goranko},
year = {2012},
doi = {10.1109/TIME.2012.26},
url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2012.26},
researchr = {https://researchr.org/publication/Goranko12},
cites = {0},
citedby = {0},
pages = {3-4},
booktitle = {19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012},
editor = {Ben C. Moszkowski and Mark Reynolds and Paolo Terenziani},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-2659-9},
}