Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata (Q2817371): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2494701561
@@ Property / OpenAlex ID: W2494701561 / rank @@
+Normal rank
@@ Property / cites work @@
+Budget-bounded model-checking pushdown systems
@@ Property / cites work: Budget-bounded model-checking pushdown systems / rank @@
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Analyzing Context-Free Grammars Using an Incremental SAT Solver
+Normal rank
@@ Property / cites work @@
+Tracking Down the Origins of Ambiguity in Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Analyzing ambiguity of context-free grammars
@@ Property / cites work: Analyzing ambiguity of context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Bracketed context-free languages
@@ Property / cites work: Bracketed context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Detection of Generative Ambiguities in Context-Free Mechanical Languages
+Normal rank
@@ Property / cites work @@
+On the translation of languages from left to right
+Normal rank
@@ Property / cites work @@
+Top-down syntax nalysis
@@ Property / cites work: Top-down syntax nalysis / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
+Normal rank
@@ Property / cites work @@
+Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Conservative Ambiguity Detection in Context-Free Grammars
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2817371