FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1017/jsl.2015.18
@@ Property / DOI: 10.1017/jsl.2015.18 / rank @@
-Normal rank
@@ Property / DOI @@
+.1017/JSL.2015.18
@@ Property / DOI: 10.1017/JSL.2015.18 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Negation with logical variables in conditional rewriting
+Normal rank
+Similarity Score: 0.78353155Amount 0.78353155
Unit 1
-Amount
+.78353155
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Conditional rewrite rule systems with built-in arithmetic and induction
+Normal rank
+Similarity Score: 0.7597657Amount 0.7597657
Unit 1
-Amount
+.7597657
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
+Similarity Score: 0.74728787Amount 0.74728787
Unit 1
-Amount
+.74728787
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Elimination of conditions
@@ Property / Recommended article: Elimination of conditions / rank @@
+Normal rank
@@ Property / Recommended article: Elimination of conditions / qualifier @@
+Similarity Score: 0.7438983Amount 0.7438983
Unit 1
-Amount
+.7438983
 Unit
@@ Property / Recommended article: Elimination of conditions / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3819990
@@ Property / Recommended article: Q3819990 / rank @@
+Normal rank
@@ Property / Recommended article: Q3819990 / qualifier @@
+Similarity Score: 0.7433543Amount 0.7433543
Unit 1
-Amount
+.7433543
 Unit
@@ Property / Recommended article: Q3819990 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Conditional rewrite rules
@@ Property / Recommended article: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / Recommended article: Conditional rewrite rules / qualifier @@
+Similarity Score: 0.7425148Amount 0.7425148
Unit 1
-Amount
+.7425148
 Unit
@@ Property / Recommended article: Conditional rewrite rules / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Unravelings and ultra-properties
@@ Property / Recommended article: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / Recommended article: Unravelings and ultra-properties / qualifier @@
+Similarity Score: 0.74191743Amount 0.74191743
Unit 1
-Amount
+.74191743
 Unit
@@ Property / Recommended article: Unravelings and ultra-properties / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3696496
@@ Property / Recommended article: Q3696496 / rank @@
+Normal rank
@@ Property / Recommended article: Q3696496 / qualifier @@
+Similarity Score: 0.7392137Amount 0.7392137
Unit 1
-Amount
+.7392137
 Unit
@@ Property / Recommended article: Q3696496 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+MOST SIMPLE EXTENSIONS OF  ARE UNDECIDABLE
+Normal rank
+Similarity Score: 0.7371084Amount 0.7371084
Unit 1
-Amount
+.7371084
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
+Normal rank
+Similarity Score: 0.73245585Amount 0.73245585
Unit 1
-Amount
+.73245585
 Unit
+Recommender Run: Recommender Run 2