An Incremental Technique for Automata-Based Decision Procedures

DOI10.1007/978-3-540-73595-3_8MaRDI QIDQ3608767zbMATH OpenOpenAlexFDO

Authors Gulay Unel, David Toman

Publication date 6 March 2009

Published in Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73595-3_8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

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)

• Logic Programming Approach to Automata-Based Decision Procedures
• Logic programming approach to automata-based decision procedures

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)