Rewriting with Equivalence Relations in ACL2

Journal of Automated Reasoning 2008 / 05 Vol. 40; Iss. 4

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
40
Langue:
english
Pages:
14
DOI:
10.1007/s10817-007-9095-9
Date:
May, 2008
Fichier:
PDF, 290 KB
english, 2008
La conversion en est effectuée
La conversion en a échoué