Unification of kinded infinite trees

DOI10.1016/0020-0190(95)00100-QzbMath0875.68579OpenAlexW2070784882MaRDI QIDQ1352126

Vasco Thudichum Vasconcelos

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00100-q

zbMATH Keywords

AlgorithmsUnification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Cites Work

• Fundamental properties of infinite trees
• Complete sets of transformations for general E-unification
• On the computational power of pushdown automata