Skip to Main content Skip to Navigation
Conference papers

Deduction modulo theory

Gilles Dowek 1, *
Abstract : This paper is a survey on Deduction modulo theory
Document type :
Conference papers
Complete list of metadata

Cited literature [61 references]  Display  Hide  Download

https://hal.inria.fr/hal-01101829
Contributor : Gilles Dowek <>
Submitted on : Monday, January 26, 2015 - 6:48:22 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Long-term archiving on: : Monday, April 27, 2015 - 10:05:26 AM

Files

wien.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License

Identifiers

  • HAL Id : hal-01101829, version 1
  • ARXIV : 1501.06523

Collections

Citation

Gilles Dowek. Deduction modulo theory. All about proofs. Proofs for all., Jul 2014, Wien, Austria. ⟨hal-01101829⟩

Share

Metrics

Record views

434

Files downloads

155