αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Document Date: 2013-12-02 09:16:06 Open Document File Size: 222,61 KB Share Result on Facebook / Facility Daniel P. Friedman Indiana University / Massachusetts Institute of Technology / / IndustryTerm proof search / depth-first search / search depth / / Organization Indiana University / Bloomington / Massachusetts Institute of Technology / / Person William E. Byrd / Prolog / Daniel P. Friedman / Joseph P. Near / / / Position simple declarative translator / simple proof translator / model / / ProvinceOrState Massachusetts / / SocialTag Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic

αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.eduAdd to Reading List