Rational Unification in 28 Characters
Under a Creative Commons license
open access
Keywords
synchronising graphs
synchronized hyperedge replacement
graph rewriting
unification
rational equations
regular trees
coalgebra
Cited by (0)
Copyright © 2005 Elsevier B.V.