Rational unification in 28 characters

MaRDI QIDQ2848116zbMATH OpenFDO

Authors Pietro Cenciarelli, Alessandro Tiberi

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050115

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Graph unification and matching
• scientific article; zbMATH DE number 1231490
• On the sequential nature of unification
• A practically efficient and almost linear unification algorithm
• scientific article; zbMATH DE number 4049096

Cited in

(1)

• Network Applications of Graph Bisimulation

This page was built for publication: Rational unification in 28 characters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848116)