The following pages link to MONA IMPLEMENTATION SECRETS (Q3021971):
Displaying 24 items.
- MONA (Q18304) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Symbolic tree automata (Q483051) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Nested antichains for WS1S (Q1733101) (← links)
- A symbolic decision procedure for symbolic alternating finite automata (Q2130584) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Bounded treewidth as a key to tractability of knowledge representation and reasoning (Q2269134) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata (Q2814129) (← links)
- An Evaluation of Automata Algorithms for String Analysis (Q3075486) (← links)
- Lazy Automata Techniques for WS1S (Q3303905) (← links)
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT (Q3303909) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)
- First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)
