Theory Extension in ACL2(r)

ISSN： 0168-7433

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Partial Functions in ACL2

By Manolios Panagiotis Moore J Strother

Journal of Automated Reasoning, Vol. 31, Iss. 2, 2003-01 ,pp. : 107-127

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

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

An Extension of Fuzzy L‐R Data Classification with Fuzzy OWA Distance

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, Vol. 30, Iss. 9, 2015-09 ,pp. : 1006-1020

John Wiley & Sons Inc

Access to resources Recommend Favorite

Extension theory and its application in evaluation of independent innovation capability

By Shan Wei Zhang Qingpu

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 38, Iss. 3-4, 2009-01 ,pp. : 457-467

Emerald Group Publishing Ltd

Access to resources Recommend Favorite