Tractable Inference Systems: An Extension with a Deducibility Predicate

DOI10.1007/978-3-642-38574-2_6zbMath1433.03022OpenAlexW1770130844MaRDI QIDQ4928430

Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri

Publication date: 14 June 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_6

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• EasyCrypt

This page was built for publication: Tractable Inference Systems: An Extension with a Deducibility Predicate