Unification of higher-order patterns in linear time and space

DOI10.1093/logcom/6.3.315zbMath0863.68074OpenAlexW2067330580MaRDI QIDQ4885622

No author found.

Publication date: 22 May 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/6.3.315

zbMATH Keywords

higher-order unificationunification algorithmcomplexity of unificationDAG representation of terms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

Nominal unification, Existential type systems between Church and Curry style (type-free style), The First-Order Nominal Link, A polynomial nominal unification algorithm, Matching and alpha-equivalence check for nominal terms, Nominal Unification from a Higher-Order Perspective, Implementing Nominal Unification