Tree Automata with Equality Constraints Modulo Equational Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Florent Jacquemard' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in GoogleThis author has not been identified. Look up 'Laurent Vigneron' in Google

runs on WebDSL