A Context-Free Linear Ordering with an Undecidable First-Order Theory

Arnaud Carayol, Zoltán Ésik. A Context-Free Linear Ordering with an Undecidable First-Order Theory. In Jos C. M. Baeten, Thomas Ball, Frank S. de Boer, editors, Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Volume 7604 of Lecture Notes in Computer Science, pages 104-118, Springer, 2012. [doi]

Abstract

Abstract is missing.