Feasible Automata for Two-Variable Logic with Successor on Data Words.
Journal
Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coru?a, Spain, March 5-9, 2012. Proceedings
Pages
351-362
Date Issued
2012
Author(s)
Kara, Ahmet
Schwentick, Thomas
TONY TAN
Type
conference paper