|
Search the dblp DataBase
José-Antonio Alonso:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1999, pp:289-304 [Conf]
- José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formalizing Rewriting in the ACL2 Theorem Prover. [Citation Graph (0, 0)][DBLP] AISC, 2000, pp:92-106 [Conf]
- Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of Molecular Computational Models in ACL2: A Case Study. [Citation Graph (0, 0)][DBLP] CAEPIA, 2003, pp:344-353 [Conf]
- Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verifying an Applicative ATP Using Multiset Relations. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:612-626 [Conf]
- Manuel Palomo, Francisco-Jesús Martín-Mateos, José-Antonio Alonso
Rete Algorithm Applied to Robotic Soccer. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:571-576 [Conf]
- Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. [Citation Graph (0, 0)][DBLP] LOPSTR, 2002, pp:182-198 [Conf]
- Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
A Formal Proof of Dickson's Lemma in ACL2. [Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:49-58 [Conf]
- José-Antonio Alonso, Maria Teresa Lamata
A Statistical Criterion of Consistency in the Analytic Hierarchy Process. [Citation Graph (0, 0)][DBLP] MDAI, 2005, pp:67-76 [Conf]
- Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:358-372 [Conf]
- José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Proofs About Rewriting Using ACL2. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:239-262 [Journal]
- José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
Formal Correctness of a Quadratic Unification Algorithm. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:1-2, pp:67-92 [Journal]
- José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
A Formally Verified Prover for the ALC Description Logic. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:135-150 [Conf]
Constructing Formally Verified Reasoners for the ACC Description Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|