A characterisation of deterministic context-free languages by means of right-congruences (Q913524): Difference between revisions

@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907107
@@ Property / cites work: Q3907107 / rank @@
+Normal rank
@@ Property / cites work @@
+Thue systems as rewriting systems
@@ Property / cites work: Thue systems as rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Thue systems
@@ Property / cites work: Monadic Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181346
@@ Property / cites work: Q5181346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176990
@@ Property / cites work: Q4176990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880295
@@ Property / cites work: Q3880295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964028
@@ Property / cites work: Q3964028 / rank @@
+Normal rank
@@ Property / cites work @@
+On jump-deterministic pushdown automata
@@ Property / cites work: On jump-deterministic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Pushdown Store Automata and Regular Systems
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3868790
@@ Property / cites work: Q3868790 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite regular Thue systems
@@ Property / cites work: Infinite regular Thue systems / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence and inclusion problems for NTS languages
+Normal rank
@@ Property / cites work @@
+Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
+Normal rank
@@ Property / cites work @@
+Some decision problems about controlled rewriting systems
+Normal rank