Operator precedence temporal logic and model checking (Q2215961): Difference between revisions

@@ Property / OpenAlex ID @@
+W3083113755
@@ Property / OpenAlex ID: W3083113755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384888
@@ Property / cites work: Q3384888 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of first-order and monadic second-order logic revisited
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Parenthesis Grammars
@@ Property / cites work: Parenthesis Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank
@@ Property / cites work @@
+Q3341935
@@ Property / cites work: Q3341935 / 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804910
@@ Property / cites work: Q4804910 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank
@@ Property / cites work @@
+Q4428305
@@ Property / cites work: Q4428305 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Analysis and Operator Precedence
@@ Property / cites work: Syntactic Analysis and Operator Precedence / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic properties of operator precedence languages
+Normal rank
@@ Property / cites work @@
+Operator precedence and the visibly pushdown property
+Normal rank
@@ Property / cites work @@
+Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
+Normal rank
@@ Property / cites work @@
+Q4474840
@@ Property / cites work: Q4474840 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing input-driven languages: theoretical and practical benefits
+Normal rank
@@ Property / cites work @@
+Colored Nested Words
@@ Property / cites work: Colored Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Marrying Words and Trees
@@ Property / cites work: Marrying Words and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing Techniques
@@ Property / cites work: Parsing Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal languages and compilation
@@ Property / cites work: Formal languages and compilation / rank @@
+Normal rank
@@ Property / cites work @@
+First-order properties of trees, star-free expressions, and aperiodicity
+Normal rank
@@ Property / cites work @@
+Q3221429
@@ Property / cites work: Q3221429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284261
@@ Property / cites work: Q4284261 / rank @@
+Normal rank