Combining Equational Tree Automata over AC and ACI Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joe Hendrix, Hitoshi Ohsaki. Combining Equational Tree Automata over AC and ACI Theories. In Andrei Voronkov, editor, Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings. Volume 5117 of Lecture Notes in Computer Science, pages 142-156, Springer, 2008. [doi]

This author has not been identified. Look up 'Joe Hendrix' in GoogleThis author has not been identified. Look up 'Hitoshi Ohsaki' in Google

runs on WebDSL