Sciweavers

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

101

AISC
2000
Springer

84views Artificial Intelligence» more AISC 2000»

Formalizing Rewriting in the ACL2 Theorem Prover

15 years 7 months ago

Formalizing Rewriting in the ACL2 Theorem Prover

Download www.cs.us.es

José-Luis Ruiz-Reina, José-Antonio A

Real-time Traffic

AISC 2000 | Artificial Intelligence |

claim paper

Related Content

» ACL2s The ACL2 Sedan

» Double rewriting for equivalential reasoning in ACL2

» An embedding of the ACL2 logic in HOL

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

» An ACL2 Proof of Write Invalidate Cache Coherence

» Separation Logic Adapted for Proofs by Rewriting

» Rewriting and WellDefinedness within a Proof System

» Mechanized Information Flow Analysis through Inductive Assertions

» Formal Verification of a Combination Decision Procedure

Post Info
More Details (n/a)

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	AISC
Authors	José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos

Comments (0)