Nested antichains for WS1S (Q1733101): Difference between revisions

@@ Property / describes a project that uses @@
+VATA
@@ Property / describes a project that uses: VATA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Antichains
@@ Property / describes a project that uses: Antichains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Slide
@@ Property / describes a project that uses: Slide / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MTBDD
@@ Property / describes a project that uses: MTBDD / 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 @@
+W2907969637
@@ Property / OpenAlex ID: W2907969637 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03849
@@ Property / arXiv ID: 1501.03849 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Antichains for WS1S
@@ Property / cites work: Nested Antichains for WS1S / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090322
@@ Property / cites work: Q4090322 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable logics combining heap structures and data
+Normal rank
@@ Property / cites work @@
+The Tree Width of Separation Logic with Recursive Definitions
+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 @@
+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 @@
+When Simulation Meets Antichains
@@ Property / cites work: When Simulation Meets Antichains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723424
@@ Property / cites work: Q2723424 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+Forest automata for verification of heap manipulation
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
+Normal rank
@@ Property / cites work @@
+Q5351976
@@ Property / cites work: Q5351976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517677
@@ Property / cites work: Q5517677 / rank @@
+Normal rank
@@ Property / cites work @@
+VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
+Normal rank