Tree Automata with Equality Constraints Modulo Equational Theories (2006)

Cached

Download Links

by Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron
Venue:Proceedings of 3rd International Joint Conference on Automated Reasoning, IJCAR, volume 4130 of Lecture Notes in Artificial Intelligence
Citations:16 - 3 self