Unification with Singleton Tree Grammars

Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß. Unification with Singleton Tree Grammars. In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 365-379, Springer, 2009. [doi]

Authors

Adria Gascón

This author has not been identified. Look up 'Adria Gascón' in Google

Guillem Godoy

This author has not been identified. Look up 'Guillem Godoy' in Google

Manfred Schmidt-Schauß

This author has not been identified. Look up 'Manfred Schmidt-Schauß' in Google