Deduction modulo theory
Abstract
This paper is a survey on Deduction modulo theory
Origin : Files produced by the author(s)
Loading...