Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501): Difference between revisions

@@ Property / describes a project that uses @@
+FMona
@@ Property / describes a project that uses: FMona / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2969578428
@@ Property / OpenAlex ID: W2969578428 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable logics combining heap structures and data
+Normal rank
@@ Property / cites work @@
+Automated verification of shape, size and bag properties via user-defined predicates in separation logic
+Normal rank
@@ Property / cites work @@
+Array theory of bounded elements and its applications
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729077
@@ Property / cites work: Q2729077 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Invariants for the Verification of Systems with Parameterized Architectures
+Normal rank
@@ Property / cites work @@
+Q4263079
@@ Property / cites work: Q4263079 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Decision Procedure for Imperative Tree Data Structures
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+When Simulation Meets Antichains
@@ Property / cites work: When Simulation Meets Antichains / rank @@
+Normal rank
@@ Property / cites work @@
+Forest automata for verification of heap manipulation
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Automata Techniques for WS1S
@@ Property / cites work: Lazy Automata Techniques for WS1S / rank @@
+Normal rank
@@ Property / cites work @@
+Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818808
@@ Property / cites work: Q4818808 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Antichains for WS1S
@@ Property / cites work: Nested Antichains for WS1S / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351976
@@ Property / cites work: Q5351976 / rank @@
+Normal rank
@@ Property / cites work @@
+New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
+Normal rank