An Approach to Computing Downward Closures (Q3449495): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1646789098
@@ Property / OpenAlex ID: W1646789098 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01068
@@ Property / arXiv ID: 1503.01068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535053
@@ Property / cites work: Q4535053 / rank @@
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Model Checking Vector Addition Systems with one zero-test
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Regular Cost Functions, Part I: Logic and Algebra over Words
+Normal rank
@@ Property / cites work @@
+Q4713368
@@ Property / cites work: Q4713368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+A relationship between ETOL and EDTOL languages
@@ Property / cites work: A relationship between ETOL and EDTOL languages / rank @@
+Normal rank
@@ Property / cites work @@
+A shrinking lemma for indexed languages
@@ Property / cites work: A shrinking lemma for indexed languages / rank @@
+Normal rank
@@ Property / cites work @@
+The size of Higman-Haines sets
@@ Property / cites work: The size of Higman-Haines sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Downward-Closure of Petri Net Languages
@@ Property / cites work: The Downward-Closure of Petri Net Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On free monoids partially ordered by embedding
@@ Property / cites work: On free monoids partially ordered by embedding / rank @@
+Normal rank
@@ Property / cites work @@
+On derivation trees of indexed grammars - an extension of the uvwxy- theorem
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190159
@@ Property / cites work: Q4190159 / rank @@
+Normal rank
@@ Property / cites work @@
+A Pumping Lemma for Collapsible Pushdown Graphs of Level 2
+Normal rank
@@ Property / cites work @@
+Effective constructions in well-partially-ordered free monoids
+Normal rank
@@ Property / cites work @@
+Undecidable problems in unreliable computations.
@@ Property / cites work: Undecidable problems in unreliable computations. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904749
@@ Property / cites work: Q2904749 / rank @@
+Normal rank
@@ Property / cites work @@
+On multiple context-free grammars
@@ Property / cites work: On multiple context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+On Infinite Words Determined by Indexed Languages
@@ Property / cites work: On Infinite Words Determined by Indexed Languages / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Computing Downward Closures
@@ Property / cites work: An Approach to Computing Downward Closures / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Downward Closures for Stacked Counter Automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3449495