The First-Order Nominal Link (Q3003496): Difference between revisions

@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Freshml
@@ Property / describes a project that uses: Freshml / 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/978-3-642-20551-4_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1481023204
@@ Property / OpenAlex ID: W1481023204 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Matching and Alpha-Equivalence
@@ Property / cites work: Nominal Matching and Alpha-Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial nominal unification algorithm
@@ Property / cites work: A polynomial nominal unification algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
@@ Property / cites work @@
+An Efficient Nominal Unification Algorithm
@@ Property / cites work: An Efficient Nominal 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 @@
+Q4140378
@@ Property / cites work: Q4140378 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Unification of higher-order patterns in linear time and space
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank