The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal

First Page		Document Content
Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE		The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 180,59 KB Share Document on Facebook

	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe DocID: 1qjaE - View Document
	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal DocID: 1pBlm - View Document
	A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ DocID: 1dOxM - View Document