Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2010.06.015
@@ Property / DOI: 10.1016/j.ipl.2010.06.015 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6018481
@@ Property / zbMATH DE Number: 6018481 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+term rewriting systems
@@ Property / zbMATH Keywords: term rewriting systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+confluence
@@ Property / zbMATH Keywords: confluence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal languages
@@ Property / zbMATH Keywords: formal languages / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2010.06.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2167541995
@@ Property / OpenAlex ID: W2167541995 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence without termination via parallel critical pairs
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+The Confluence Problem for Flat TRSs
@@ Property / cites work: The Confluence Problem for Flat TRSs / rank @@
+Normal rank
@@ Property / cites work @@
+Development closed critical pairs
@@ Property / cites work: Development closed critical pairs / rank @@
+Normal rank
@@ Property / cites work @@
+A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Undecidable Properties on Length-Two String Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705622
@@ Property / cites work: Q4705622 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2010.06.015
@@ Property / DOI: 10.1016/J.IPL.2010.06.015 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:407556