Paper: Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories (at LICS 1986)
Authors: Dominique Perrin Paul E. SchuppAbstract
No Abstract Available
BibTeX
@InProceedings{PerrinSchupp-AutomataontheIntege, author = {Dominique Perrin and Paul E. Schupp}, title = {Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {301--304 }, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }