Deduction modulo theory
Gilles Dowek (INRIA Paris-Rocquencourt)
TL;DR
This survey paper reviews Deduction modulo theory, a logical framework that integrates computation and deduction, highlighting its principles, applications, and recent developments in the field.
Contribution
It provides a comprehensive overview of Deduction modulo theory, summarizing key concepts, techniques, and open problems for researchers interested in this area.
Findings
Summarizes the main principles of Deduction modulo theory.
Highlights recent advances and applications.
Identifies open problems and future research directions.
Abstract
This paper is a survey on Deduction modulo theory
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Formal Methods in Verification