Ahmet Kara, Thomas Schwentick, Tony Tan. Feasible Automata for Two-Variable Logic with Successor on Data Words. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 351-362, Springer, 2012. [doi]
@inproceedings{KaraST12,
title = {Feasible Automata for Two-Variable Logic with Successor on Data Words},
author = {Ahmet Kara and Thomas Schwentick and Tony Tan},
year = {2012},
doi = {10.1007/978-3-642-28332-1_30},
url = {http://dx.doi.org/10.1007/978-3-642-28332-1_30},
researchr = {https://researchr.org/publication/KaraST12},
cites = {0},
citedby = {0},
pages = {351-362},
booktitle = {Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings},
editor = {Adrian Horia Dediu and Carlos Martín-Vide},
volume = {7183},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-28331-4},
}