Visibly rational expressions (Q2453980): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-013-0190-6
@@ Property / DOI: 10.1007/s00236-013-0190-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2003723473
@@ Property / OpenAlex ID: W2003723473 / rank @@
+Normal rank
@@ Property / cites work @@
+Marrying Words and Trees
@@ Property / cites work: Marrying Words and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic
@@ Property / cites work: Regular Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Query Automata for Nested Words
@@ Property / cites work: Query Automata for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Transducers for Approximate Validation of Streaming XML
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / DOI @@
+.1007/S00236-013-0190-6
@@ Property / DOI: 10.1007/S00236-013-0190-6 / rank @@
+Normal rank