Checking automata and one-way stack languages (Q2532393): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066625
@@ Property / cites work: Q4066625 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack automata and compiling
@@ Property / cites work: Stack automata and compiling / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic stack automata and the quotient operator
+Normal rank