Formal Proofs About Rewriting Using ACL2

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.36, Iss.3, 2002-11, pp. : 239-262

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

Using dynamic geometry to stimulate students to provide proofs

International Journal of Mathematical Education in Science and Technology, Vol. 38, Iss. 5, 2007-01 ,pp. : 599-608

Taylor & Francis Ltd

Access to resources Recommend Favorite

Enhancing dependency pair method using strong computability in simply-typed term rewriting

By Kusakari Keiichirou

Applicable Algebra in Engineering, Communication and Computing, Vol. 18, Iss. 5, 2007-10 ,pp. : 407-431

Springer Publishing Company

Access to resources Recommend Favorite

Breaking the data encryption standard using networks of evolutionary processors with parallel string rewriting rules

By Choudhary Ashish Krithivasan Kamala

International Journal of Computer Mathematics, Vol. 86, Iss. 4, 2009-04 ,pp. : 567-576

Taylor & Francis Ltd

Access to resources Recommend Favorite

Synthesis of Bridged Diketopiperazines by Using the Persistent Radical Effect and a Formal Synthesis of Bicyclomycin

ANGEWANDTE CHEMIE INTERNATIONAL EDITION, Vol. 54, Iss. 41, 2015-10 ,pp. : 12153-12157

John Wiley & Sons Inc

Access to resources Recommend Favorite

Resolution Proofs of Matching Principles

By Urquhart A.

Annals of Mathematics and Artificial Intelligence, Vol. 37, Iss. 3, 2003-03 ,pp. : 241-250

Springer Publishing Company

Access to resources Recommend Favorite