E-unification by means of tree tuple synchronized grammars.

Sébastien Limet Pierre Réty

Published in: Discret. Math. Theor. Comput. Sci. (1997)

Keyphrases

tree grammars
tree structure
higher order
multi dimensional
binary tree
context free grammars
tree nodes
visual languages