The equivalence problem for real-time strict deterministic pushdown automata (Q4007337): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic languages
+Normal rank
@@ Property / cites work @@
+Q5594631
@@ Property / cites work: Q5594631 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4007337