Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TPHOL
2005
IEEE

favoriteEmaildiscussreport

100views Automated Reasoning» more TPHOL 2005»

Meta Reasoning in ACL2

13 years 10 months ago

Meta Reasoning in ACL2

Download userweb.cs.utexas.edu

Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmi

Real-time Traffic

Artificial Intelligence | TPHOL 2005 |

claim paper

Related Content

» ACL2s The ACL2 Sedan

» Double rewriting for equivalential reasoning in ACL2

» Reasoning about ACL2 file input

» Integrating Reasoning About Ordinal Arithmetic into ACL2

» Soundness of the simply typed lambda calculus in ACL2

» Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2

» Proof Pearl A Formal Proof of Higmans Lemma in ACL2

» The Correctness of the Fast Fourier Transform A Structured Proof in ACL2

Post Info
More Details (n/a)

Added	25 Jun 2010
Updated	25 Jun 2010
Type	Conference
Year	2005
Where	TPHOL
Authors	Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith

Comments (0)