Decidability of equivalence for deterministic synchronized tree automata (Q671682): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(96)00073-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2060424328
@@ Property / OpenAlex ID: W2060424328 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic two-tape automata
+Normal rank
@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Encompassment properties and automata with constraints
+Normal rank
@@ Property / cites work @@
+Pumping, cleaning and symbolic constraints solving
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with regular look-ahead
@@ Property / cites work: Top-down tree transducers with regular look-ahead / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with deterministic top-down look-ahead
+Normal rank
@@ Property / cites work @@
+Q3974865
@@ Property / cites work: Q3974865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485880
@@ Property / cites work: Q3485880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown tree automata
@@ Property / cites work: Pushdown tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem of multitape finite automata
+Normal rank
@@ Property / cites work @@
+On the power of synchronization in parallel computations
+Normal rank
@@ Property / cites work @@
+Deterministic versus nondeterministic space in terms of synchronized alternating machines
+Normal rank
@@ Property / cites work @@
+Synchronized finite automata and 2DFA reductions
@@ Property / cites work: Synchronized finite automata and 2DFA reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Yield-languages recognized by alternating tree recognizers
+Normal rank
@@ Property / cites work @@
+Synchronized tree automata
@@ Property / cites work: Synchronized tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of structural equivalence of E0L grammars
+Normal rank
@@ Property / cites work @@
+Q4284264
@@ Property / cites work: Q4284264 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata
@@ Property / cites work: Alternating tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic top-down tree transducers with iterated look-ahead
+Normal rank
@@ Property / cites work @@
+Top-down tree transducers with two-way tree walking look-ahead
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:671682