Polarized Resolution Modulo

DOI10.1007/978-3-642-15240-5_14MaRDI QIDQ3163883zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Polar convolution
• Resolutions mod i and golod pairs
• Polar-Coded Spatial Modulation
• Generalized polarization modules
• A generalized polar decomposition
• scientific article; zbMATH DE number 4146164
• Phase retrieval with polarization
• On extended polar decomposition
• Polar decomposition of oblique projections
• scientific article; zbMATH DE number 878701

Cited in

(8)

• Equational theorem proving modulo
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Clausal presentation of theories in deduction modulo
• CTL model checking in deduction modulo
• A Completion Method to Decide Reachability in Rewrite Systems
• Experimenting with deduction modulo
• Linking focusing and resolution with selection
• Regaining cut admissibility in deduction modulo using abstract completion

This page was built for publication: Polarized Resolution Modulo

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