Polarized Resolution Modulo

DOI10.1007/978-3-642-15240-5_14zbMath1202.68215OpenAlexW1590427085MaRDI QIDQ3163883

Gilles Dowek

Publication date: 27 October 2010

Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

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

zbMATH Keywords

rewrite rules

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

CTL Model Checking in Deduction Modulo ⋮ A Completion Method to Decide Reachability in Rewrite Systems ⋮ Unnamed Item ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Regaining cut admissibility in deduction modulo using abstract completion ⋮ Experimenting with Deduction Modulo ⋮ Clausal presentation of theories in deduction modulo ⋮ Equational theorem proving modulo

This page was built for publication: Polarized Resolution Modulo