Higher order unification via explicit substitutions (Q1854337): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite representations of infinite sequences of terms
+Normal rank
@@ Property / cites work @@
+Q5287527
@@ Property / cites work: Q5287527 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Q5748888
@@ Property / cites work: Q5748888 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation of Turing machines by a regular rewrite rule
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unification via combinators
@@ Property / cites work: Higher-order unification via combinators / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatory logic approach to higher-order E-unification
+Normal rank
@@ Property / cites work @@
+A Complete Proof Synthesis Method for the Cube of Type Systems
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Dynamically-typed computations for order-sorted equational presentations
+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 @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703312
@@ Property / cites work: Q3703312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364370
@@ Property / cites work: Q4364370 / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-rule synthesis from crossed rewrite systems
@@ Property / cites work: Meta-rule synthesis from crossed rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for basic narrowing
@@ Property / cites work: Completeness results for basic narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364378
@@ Property / cites work: Q4364378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+Instantiation theory. On the foundations of automated deduction
+Normal rank
@@ Property / cites work @@
+Q4938612
@@ Property / cites work: Q4938612 / rank @@
+Normal rank