Decidable higher-order unification problems (Q5210802): Difference between revisions

@@ Property / describes a project that uses @@
+Elf
@@ Property / describes a project that uses: Elf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPS
@@ Property / describes a project that uses: TPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_46
+Normal rank
@@ Property / OpenAlex ID @@
+W1507462387
@@ Property / OpenAlex ID: W1507462387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086786
@@ Property / cites work: Q3086786 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3787520
@@ Property / cites work: Q3787520 / rank @@
+Normal rank
@@ Property / cites work @@
+Third order matching is decidable
@@ Property / cites work: Third order matching is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for second-order monadic terms
+Normal rank
@@ Property / cites work @@
+Simple second-order languages for which unification is undecidable
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Synthesis of rewrite programs by higher-order and semantic unification
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283239
@@ Property / cites work: Q4283239 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+Q2914641
@@ Property / cites work: Q2914641 / rank @@
+Normal rank