An Incremental Technique for Automata-Based Decision Procedures

DOI10.1007/978-3-540-73595-3_8zbMATH Open1213.03023OpenAlexW1504183634MaRDI QIDQ3608767FDOQ3608767

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

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

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)

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)