A symbolic decision procedure for symbolic alternating finite automata (Q2130584): Difference between revisions

@@ Property / describes a project that uses @@
+Rex
@@ Property / describes a project that uses: Rex / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964023591
@@ Property / OpenAlex ID: W2964023591 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317563
@@ Property / Wikidata QID: Q113317563 / rank @@
+Normal rank
@@ Property / cites work @@
+DReX
@@ Property / cites work: DReX / rank @@
+Normal rank
@@ Property / cites work @@
+A general account of coinduction up-to
@@ Property / cites work: A general account of coinduction up-to / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Bisimulations for Nondeterministic Symbolic Finite Automata
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Automata Constraint Solving
@@ Property / cites work: Symbolic Automata Constraint Solving / rank @@
+Normal rank