Confluence problems for trace rewriting systems (Q1854457): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2014395024
@@ Property / OpenAlex ID: W2014395024 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite complete rewriting systems and the complexity of word problem
+Normal rank
@@ Property / cites work @@
+Q3714479
@@ Property / cites work: Q3714479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4338856
@@ Property / cites work: Q4338856 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace rewriting: Computing normal forms in time O(n log n)
+Normal rank
@@ Property / cites work @@
+Membership problems for regular and context-free trace languages
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser property
@@ Property / cites work: Testing for the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3736919
@@ Property / cites work: Q3736919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771597
@@ Property / cites work: Q3771597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355239
@@ Property / cites work: Q3355239 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems over traces which are solvable in linear time
+Normal rank
@@ Property / cites work @@
+Q3994922
@@ Property / cites work: Q3994922 / rank @@
+Normal rank
@@ Property / cites work @@
+An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
+Normal rank
@@ Property / cites work @@
+Q4941894
@@ Property / cites work: Q4941894 / rank @@
+Normal rank
@@ Property / cites work @@
+Preperfectness is undecidable for Thue systems containing only length- reducing rules and a single commutation rule
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q4105657
@@ Property / cites work: Q4105657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2730723
@@ Property / cites work: Q2730723 / rank @@
+Normal rank
@@ Property / cites work @@
+On confluence of one-rule trace-rewriting systems
@@ Property / cites work: On confluence of one-rule trace-rewriting systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1854457