Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1093/jigpal/jzs005
@@ Property / DOI: 10.1093/jigpal/jzs005 / 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.1093/jigpal/jzs005
+Normal rank
@@ Property / OpenAlex ID @@
+W2004443371
@@ Property / OpenAlex ID: W2004443371 / rank @@
+Normal rank
@@ Property / DOI @@
+.1093/JIGPAL/JZS005
@@ Property / DOI: 10.1093/JIGPAL/JZS005 / rank @@
+Normal rank
@@ Property / Recommended article @@
+A polynomial nominal unification algorithm
+Normal rank
+Similarity Score: 0.8173882Amount 0.8173882
Unit 1
-Amount
+.8173882
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3991208
@@ Property / Recommended article: Q3991208 / rank @@
+Normal rank
@@ Property / Recommended article: Q3991208 / qualifier @@
+Similarity Score: 0.81613827Amount 0.81613827
Unit 1
-Amount
+.81613827
 Unit
@@ Property / Recommended article: Q3991208 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nominal unification with atom-variables
@@ Property / Recommended article: Nominal unification with atom-variables / rank @@
+Normal rank
+Similarity Score: 0.81402135Amount 0.81402135
Unit 1
-Amount
+.81402135
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Unranked Nominal Unification
@@ Property / Recommended article: Unranked Nominal Unification / rank @@
+Normal rank
@@ Property / Recommended article: Unranked Nominal Unification / qualifier @@
+Similarity Score: 0.81185913Amount 0.81185913
Unit 1
-Amount
+.81185913
 Unit
@@ Property / Recommended article: Unranked Nominal Unification / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+An Efficient Nominal Unification Algorithm
+Normal rank
+Similarity Score: 0.7999451Amount 0.7999451
Unit 1
-Amount
+.7999451
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
+Similarity Score: 0.79952896Amount 0.79952896
Unit 1
-Amount
+.79952896
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nominal unification with letrec and environment-variables
+Normal rank
+Similarity Score: 0.7988569Amount 0.7988569
Unit 1
-Amount
+.7988569
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Fixed-Point Constraints for Nominal Equational Unification
+Normal rank
+Similarity Score: 0.7983933Amount 0.7983933
Unit 1
-Amount
+.7983933
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
+Similarity Score: 0.79702574Amount 0.79702574
Unit 1
-Amount
+.79702574
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Implementing Nominal Unification
@@ Property / Recommended article: Implementing Nominal Unification / rank @@
+Normal rank
@@ Property / Recommended article: Implementing Nominal Unification / qualifier @@
+Similarity Score: 0.79578733Amount 0.79578733
Unit 1
-Amount
+.79578733
 Unit
@@ Property / Recommended article: Implementing Nominal Unification / qualifier @@
+Recommender Run: Recommender Run 2