Mikolaj Bojanczyk
Automata for Data Words and Data Trees
RTA, 2010.
@inproceedings{RTA-2010-Bojanczyk, author = "Mikolaj Bojanczyk", booktitle = "{Proceedings of the 21st International Conference on Rewriting Techniques and Applications}", doi = "10.4230/LIPIcs.RTA.2010.1", editor = "Christopher Lynch", isbn = "978-3-939897-18-7", pages = "1--4", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Automata for Data Words and Data Trees}", volume = 6, year = 2010, }