Theory Extension in ACL2(r)

By Gamboa R.   Cowles J.  

Journal of Automated Reasoning, Vol. 38, Iss. 4, 2007-05 ,pp. : 273-301

Springer Publishing Company

Access to resources Recommend Favorite

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2

By Martín-Mateos Francisco  

Journal of Automated Reasoning, Vol. 47, Iss. 3, 2011-10 ,pp. : 229-250

Springer Publishing Company

Access to resources Recommend Favorite

Identification of partial disjunction, parity, and threshold functions

By Uehara R.   Tsuchida K.   Wegener I.  

Theoretical Computer Science, Vol. 230, Iss. 1, 2000-01 ,pp. : 131-147

Elsevier

Access to resources Recommend Favorite

To the problem of expressibility in the algebra of partial Boolean functions

By Tarasov V.  

Problems of Information Transmission, Vol. 41, Iss. 1, 2005-01 ,pp. : 59-64

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4

By Gordon Michael   Kaufmann Matt   Ray Sandip  

Journal of Automated Reasoning, Vol. 47, Iss. 1, 2011-06 ,pp. : 1-16

Springer Publishing Company

Access to resources Recommend Favorite