Nominal unification (Q1882909): Difference between revisions

@@ Property / author @@
-Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Freshml
@@ Property / describes a project that uses: Freshml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Qu-Prolog
@@ Property / describes a project that uses: Qu-Prolog / 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.1016/j.tcs.2004.06.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2912255765
@@ Property / OpenAlex ID: W2912255765 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4484489
@@ Property / cites work: Q4484489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417861
@@ Property / cites work: Q4417861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751368
@@ Property / cites work: Q2751368 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714443
@@ Property / cites work: Q5714443 / rank @@
+Normal rank
@@ Property / cites work @@
+A typed context calculus
@@ Property / cites work: A typed context calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535076
@@ Property / cites work: Q4535076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+The Qu-Prolog unification algorithm: formalisation and correctness
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Q4495854
@@ Property / cites work: Q4495854 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of higher-order patterns in linear time and space
+Normal rank
@@ Property / cites work @@
+On the algebraic models of lambda calculus
@@ Property / cites work: On the algebraic models of lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413069
@@ Property / cites work: Q4413069 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank