One-variable context-free hedge automata (Q2424690): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2016.10.006
@@ Property / DOI: 10.1016/j.jcss.2016.10.006 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Timbuk
@@ Property / describes a project that uses: Timbuk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2547455473
@@ Property / OpenAlex ID: W2547455473 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for XML -- a survey
@@ Property / cites work: Automata for XML -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic tree pushdown automata and monadic tree rewriting systems
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis over term rewriting systems
@@ Property / cites work: Reachability analysis over term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Closure of Hedge-Automata Languages by Hedge Rewriting
+Normal rank
@@ Property / cites work @@
+Q4986507
@@ Property / cites work: Q4986507 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating XML document adaptations via hedge automata transformations
+Normal rank
@@ Property / cites work @@
+Rewrite Closure and CF Hedge Automata
@@ Property / cites work: Rewrite Closure and CF Hedge Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5657644
@@ Property / cites work: Q5657644 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition and parsing of context-free languages in time n3
+Normal rank
@@ Property / cites work @@
+Q4447253
@@ Property / cites work: Q4447253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086921
@@ Property / cites work: Q3086921 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Automata with Global Constraints
@@ Property / cites work: Tree Automata with Global Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Unranked Tree Automata with Sibling Equalities and Disequalities
+Normal rank
@@ Property / cites work @@
+Bottom-up tree pushdown automata: Classification and connection with rewrite systems
+Normal rank
@@ Property / cites work @@
+Computational complexity of the problem of tree generation under fine-grained access control policies
+Normal rank
@@ Property / cites work @@
+Controlled Term Rewriting
@@ Property / cites work: Controlled Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035665
@@ Property / cites work: Q4035665 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2016.10.006
@@ Property / DOI: 10.1016/J.JCSS.2016.10.006 / rank @@
+Normal rank