An Incremental Technique for Automata-Based Decision Procedures
From MaRDI portal
Publication:3608767
Recommendations
- Logic programming approach to automata-based decision procedures
- An automata theoretic decision procedure for the propositional mu- calculus
- Reasoning on schemas of formulas: an automata-based approach
- Logic Programming Approach to Automata-Based Decision Procedures
- scientific article; zbMATH DE number 1876860
Cited in
(2)
This page was built for publication: An Incremental Technique for Automata-Based Decision Procedures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608767)