scientific article; zbMATH DE number 3412189
From MaRDI portal
Publication:5677084
zbMath0261.68041MaRDI QIDQ5677084
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Set-of-support strategy for higher-order logic ⋮ Second-order unification in the presence of linear shallow algebraic equations ⋮ A unification algorithm for typed \(\bar\lambda\)-calculus ⋮ A unification algorithm for typed \(\overline\lambda\)-calculus ⋮ Mechanizing \(\omega\)-order type theory through unification ⋮ Decidability of the unification problem for second-order languages with unary functional symbols ⋮ Higher-order unification revisited: Complete sets of transformations
This page was built for publication:
