Date: 2011-01-28 11:35:49

What is a Theory ? Gilles Dowek INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. http://logical.inria.fr/˜dowek Abstract. Deduction modulo is a way to express a theory using computation

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 151,06 KB