The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis∗ The University of Texas at Austin Department of Computer Sciences 1 University Station C0500

First Page		Document Content
Date: 2013-10-11 19:58:43 Lisp programming language Logic in computer science ACL2 Rewriting First-order logic Lisp FO Theoretical computer science Programming language theory Mathematical logic		The Milawa Rewriter and an ACL2 Proof of its Soundness Jared Davis∗ The University of Texas at Austin Department of Computer Sciences 1 University Station C0500 Add to Reading List Source URL: www.cs.utexas.edu Download Document from Source Website File Size: 199,01 KB Share Document on Facebook

	PDF Document DocID: 1wCNu - View Document
	YTools: A Package of Portable Enhancements to Common Lisp VersionDrew McDermott November 30, 2008 Copyright (C DocID: 1vd5B - View Document
	LISP 1.5 and its Implementation on the IBM System/360 at RPI DocID: 1v0vX - View Document
	Visual LISP Function Reference Chart for AutoCADComplied by Dr. June-Hao Hou <>, Institute of Architecture, National Chiao Tung University, Taiwan. Last updated onPage 1/2 DocID: 1uWpK - View Document
	This document (and the similar documents for future units) will describe the Lisp code that controls the experiments and how ACT-R is interfaced to them. It is not necessary that you write the experiments for models in L DocID: 1uQgE - View Document