A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE C´ - Newton House - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-01-06 05:11:23		A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ Add to Reading List Source URL: www.ensiie.fr Download Document from Source Website File Size: 381,77 KB Share Document on Facebook