A rule-based framework for building superposition-based decision procedures

DOI10.1007/978-3-642-34005-5_12MaRDI QIDQ3164838zbMATH OpenOpenAlexFDO

Authors Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Publication date 16 October 2012

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-34005-5_12

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1848313
• scientific article; zbMATH DE number 517065
• Superposition as a decision procedure for timed automata
• Superposition for Fixed Domains
• Superposition for fixed domains

Cited in

(4)

• Superposition as a decision procedure for timed automata
• scientific article; zbMATH DE number 517065 (Why is no real title available?)
• scientific article; zbMATH DE number 1848313 (Why is no real title available?)
• Superset Generation on Decision Diagrams

Describes a project that uses

Uses Software

• Maude
• E Theorem Prover

This page was built for publication: A rule-based framework for building superposition-based decision procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3164838)