Nominal Unification from a Higher-Order Perspective (Q5892169): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6483164
+scientific article; zbMATH DE number 5317335
@@ Property / zbMATH Open document ID @@
+.03311
@@ Property / zbMATH Open document ID: 1145.03311 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-540-70590-1_17
@@ Property / DOI: 10.1007/978-3-540-70590-1_17 / rank @@
+Normal rank
@@ Property / published in @@
+Rewriting Techniques and Applications
@@ Property / published in: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / publication date @@
+August 2008Timestamp +2008-08-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2008-08-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 28 August 2008 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B10
@@ Property / Mathematics Subject Classification ID: 03B10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5317335
@@ Property / zbMATH DE Number: 5317335 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2569620744
@@ Property / OpenAlex ID: W2569620744 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Nominal Unification
@@ Property / cites work: Implementing Nominal Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751368
@@ Property / cites work: Q2751368 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Q3838759
@@ Property / cites work: Q3838759 / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of second-order unification
@@ Property / cites work: On the undecidability of second-order unification / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Q5714442
@@ Property / cites work: Q5714442 / 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 @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5892169
+Publication:5900246