( en | de | ru )

 

Disambiguation of "Alonso, José-Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
A Formally Verified Prover for the ALC Description Logic.

, , , , and . TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 135-150. Springer, (2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

José Alonso Enríquez Díaz

José Antonio Almeida

José Antonio Zamora

José Antonio Grifols

Antônio José Sandmann

 

Other publications of authors with the same name

A computer algebra approach to verification and deduction in many-valued knowledge systems., , , and . Soft Comput., 3 (1): 7-19 (1999)Formalizing Rewriting in the ACL2 Theorem Prover., , , and . AISC, volume 1930 of Lecture Notes in Computer Science, page 92-106. Springer, (2000)Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover., , , and . APPIA-GULP-PRODE, page 289-304. (1999)Proof Pearl: a Formal Proof of Higman's Lemma in ACL2., , , and . J. Autom. Reason., 47 (3): 229-250 (2011)A logic approach to decision taking in a railway interlocking system using Maple., , , and . Mathematics and Computers in Simulation, 82 (1): 15-28 (2011)Revisiting four-valued logics from Maple using the Logics Explorer package., , and . Math. Comput. Simul., (2014)Formal Correctness of a Quadratic Unification Algorithm., , , and . J. Autom. Reason., 37 (1-2): 67-92 (2006)Formal Verification of Molecular Computational Models in ACL2: A Case Study., , , and . CAEPIA, volume 3040 of Lecture Notes in Computer Science, page 344-353. Springer, (2003)A Formally Verified Prover for the ALC Description Logic., , , , and . TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 135-150. Springer, (2007)Verifying an Applicative ATP Using Multiset Relations., , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 612-626. Springer, (2001)