References & Citations
Computer Science > Logic in Computer Science
Title: Deduction modulo theory
(Submitted on 26 Jan 2015)
Abstract: This paper is a survey on Deduction modulo theory
Link back to: arXiv, form interface, contact.
Abstract: This paper is a survey on Deduction modulo theory
Link back to: arXiv, form interface, contact.