Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories. In Ulrich Furbach, Natarajan Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4130 of Lecture Notes in Computer Science, pages 557-571, Springer, 2006. [doi]
@inproceedings{JacquemardRV06,
title = {Tree Automata with Equality Constraints Modulo Equational Theories},
author = {Florent Jacquemard and Michaël Rusinowitch and Laurent Vigneron},
year = {2006},
doi = {10.1007/11814771_45},
url = {http://dx.doi.org/10.1007/11814771_45},
tags = {automata theory, constraints},
researchr = {https://researchr.org/publication/JacquemardRV06},
cites = {0},
citedby = {0},
pages = {557-571},
booktitle = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
editor = {Ulrich Furbach and Natarajan Shankar},
volume = {4130},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37187-7},
}