Unification under a mixed prefix (Q1201348): Difference between revisions

@@ Property / describes a project that uses @@
+Elf
@@ Property / describes a project that uses: Elf / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+General models and extensionality
@@ Property / cites work: General models and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3343471
@@ Property / cites work: Q3343471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unification with dependent function types
+Normal rank
@@ Property / cites work @@
+Q3789101
@@ Property / cites work: Q3789101 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of unification in third order logic
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Mechanizing \(\omega\)-order type theory through unification
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Q4391451
@@ Property / cites work: Q4391451 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order Horn clauses
@@ Property / cites work: Higher-order Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction as higher-order resolution
@@ Property / cites work: Natural deduction as higher-order resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Mechanization of Second-Order Type Theory
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0747-7171(92)90011-r
+Normal rank
@@ Property / OpenAlex ID @@
+W2050702141
@@ Property / OpenAlex ID: W2050702141 / rank @@
+Normal rank