Weak Inclusion for XML Types (Q5200049): Difference between revisions

@@ Property / describes a project that uses @@
+LANGAGE
@@ Property / describes a project that uses: LANGAGE / rank @@
+Normal rank
@@ 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.1007/978-3-642-22256-6_4
+Normal rank
@@ Property / OpenAlex ID @@
+W161409554
@@ Property / OpenAlex ID: W161409554 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Inclusion for XML Types
@@ Property / cites work: Weak Inclusion for XML Types / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of Glushkov automata
@@ Property / cites work: Characterization of Glushkov automata / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
+Normal rank
@@ Property / cites work @@
+Almost-linear inclusion for XML regular expression types
+Normal rank
@@ Property / cites work @@
+Efficient inclusion for a class of XML types with interleaving and counting
+Normal rank
@@ Property / cites work @@
+Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered and Unordered Tree Inclusion
@@ Property / cites work: Ordered and Unordered Tree Inclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413641
@@ Property / cites work: Q4413641 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / 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 @@
+The passing of a rational expression to a nondeterministic finite automaton
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5200049