Model Checking FO(R) over One-Counter Processes and beyond (Q3644768): Difference between revisions

@@ 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-04027-6_35
+Normal rank
@@ Property / OpenAlex ID @@
+W1487351738
@@ Property / OpenAlex ID: W1487351738 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Tense Logics on Rational Kripke Models
+Normal rank
@@ Property / cites work @@
+A uniform method for proving lower bounds on the computational complexity of logical theories
+Normal rank
@@ Property / cites work @@
+Model checking LTL with regular valuations for pushdown systems
+Normal rank
@@ Property / cites work @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+The succinctness of first-order logic on linear orders
+Normal rank
@@ Property / cites work @@
+A note on emptiness for alternating finite automata with a one-letter alphabet
+Normal rank
@@ Property / cites work @@
+DP lower bounds for equivalence-checking and model-checking of one-counter automata
+Normal rank
@@ Property / cites work @@
+Theory of computation.
@@ Property / cites work: Theory of computation. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754154
@@ Property / cites work: Q2754154 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems on regular ground tree rewriting graphs
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking with the temporal logic EF
+Normal rank
@@ Property / cites work @@
+Q4508307
@@ Property / cites work: Q4508307 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of ends, pushdown automata, and second-order logic
+Normal rank
@@ Property / cites work @@
+Logically defined subsets of \(\mathbb{N}{}^ k\)
@@ Property / cites work: Logically defined subsets of \(\mathbb{N}{}^ k\) / rank @@
+Normal rank
@@ Property / cites work @@
+On compositionality and its limitations
@@ Property / cites work: On compositionality and its limitations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurrent Reachability Analysis in Regular Model Checking
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / 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 @@
+Model Checking Synchronized Products of Infinite Transition Systems
+Normal rank