scientific article; zbMATH DE number 522849

MaRDI QIDQ4284243zbMATH OpenFDO

Authors Heinz Fassbender

Publication date 31 August 1994

zbMATH Keywords

equational theoriesmacro tree transducersunification algorithm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1332630
• Implementation of a UU-algorithm for primitive recursive tree functions
• scientific article; zbMATH DE number 672020
• A practically efficient and almost linear unification algorithm
• Implementing nominal unification

Cited in

(2)

• Implementation of a UU-algorithm for primitive recursive tree functions
• scientific article; zbMATH DE number 1953124 (Why is no real title available?)

This page was built for publication:

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