Complete formal systems for equivalence problems (Q1575907): Difference between revisions

@@ Property / cites work @@
+Q4385528
@@ Property / cites work: Q4385528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774929
@@ Property / cites work: Q3774929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm to decide on the equivalence of stateless DPDA
+Normal rank
@@ Property / cites work @@
+Q4772720
@@ Property / cites work: Q4772720 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to the Korenjak-Hopcroft algorithms
+Normal rank
@@ Property / cites work @@
+Pushdown machines for the macro tree transducer
@@ Property / cites work: Pushdown machines for the macro tree transducer / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence of grammars through transformation trees
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+Normal rank
@@ Property / cites work @@
+Bisimulation equivalence is decidable for one-counter processes
+Normal rank
@@ Property / cites work @@
+Q4134981
@@ Property / cites work: Q4134981 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for real-time strict deterministic pushdown automata
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic pushdown automata is decidable
+Normal rank
@@ Property / cites work @@
+Q4218106
@@ Property / cites work: Q4218106 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+Iterated linear control and iterated one-turn pushdowns
+Normal rank