( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.

, , , и . J. Autom. Reason., 47 (3): 229-250 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

José Alonso Enríquez Díaz

José Antonio Almeida

José Antonio Zamora

José Antonio Grifols

Antônio José Sandmann

 

Другие публикации лиц с тем же именем

Formalizing Rewriting in the ACL2 Theorem Prover., , , и . AISC, том 1930 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2000)A computer algebra approach to verification and deduction in many-valued knowledge systems., , , и . Soft Comput., 3 (1): 7-19 (1999)A Formally Verified Prover for the ALC Description Logic., , , , и . TPHOLs, том 4732 из Lecture Notes in Computer Science, стр. 135-150. Springer, (2007)Formal Verification of Molecular Computational Models in ACL2: A Case Study., , , и . CAEPIA, том 3040 из Lecture Notes in Computer Science, стр. 344-353. Springer, (2003)Consistency in the Analytic Hierarchy Process: a New Approach., и . Int. J. Uncertain. Fuzziness Knowl. Based Syst., 14 (4): 445-459 (2006)Verifying an Applicative ATP Using Multiset Relations., , , и . EUROCAST, том 2178 из Lecture Notes in Computer Science, стр. 612-626. Springer, (2001)Revisiting four-valued logics from Maple using the Logics Explorer package., , и . Math. Comput. Simul., (2014)Formal Proofs About Rewriting Using ACL2., , , и . Ann. Math. Artif. Intell., 36 (3): 239-262 (2002)Formal Correctness of a Quadratic Unification Algorithm., , , и . J. Autom. Reason., 37 (1-2): 67-92 (2006)Constructing Formally Verified Reasoners for the ACL Description Logic., , , и . WWV, том 200 из Electronic Notes in Theoretical Computer Science, стр. 87-102. Elsevier, (2007)