Get started
Author

José Antonio Alonso

Observed names: J. A. Alonso, J.A. Alonso, Jose Antonio Alonso, José -Antonio Alonso, José A. Alonso
ORCID: 0000-0001-5329-1225
Observed ORCID: 0000-0001-5329-1225
OpenAlex ID: A5102150610
Geology and Geochemistry of the Reocin Zinc-Lead Deposit, Basque-Cantabrian Basin, Northern Spain
2003 · F. Velasco, J. M. Herrero, et al. · Economic Geology · 69
Multi-valued logic and Gröner bases with applications to modal logic
1991 · J. Chazarain, A. Riscos, et al. · Journal of Symbolic Computation · 67
A computer algebra approach to verification and deduction in many-valued knowledge systems
1999 · L. M. Laita, E. Roanes-Lozano, et al. · Soft Computing · 36
A logic approach to decision taking in a railway interlocking system using Maple
2010 · Eugenio Roanes-Lozano, Antonio Hernando, et al. · Mathematics and Computers in Simulation · 24
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
2002 · F. J. Mart ́ in-Mateos, José Antonio Alonso, et al. · 14
An approach from answer set programming to decision making in a railway interlocking system
2013 · Eugenio Roanes-Lozano, José Antonio Alonso, et al. · Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas · 10
A Formal Proof of Dickson’s Lemma in ACL2
2003 · F. J. Martın-Mateos, J. A. Alonso, et al. · Lecture notes in computer science · 10
Formal verification of a generic framework to synthesize SAT-provers
2004 · Francisco -Jesús Martín-Mateos, José -Antonio Alonso, et al. · Journal of Automated Reasoning · 8
Termination in ACL2 Using Multiset Relations
2003 · J. L. Ruiz-Reina, J. A. Alonso, et al. · Applied logic series · 7
Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2
2010 · Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, et al. · Journal of Automated Reasoning · 5
Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2
2005 · Francisco J. Martín-Mateos, José L. Ruiz-Reina, et al. · Lecture notes in computer science · 5
Verification of the Formal Concept Analysis
2004 · J. Borrego, María-José Hidalgo, et al. · Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas · 5
Alternative Development Strategies for the Post-2015 Era
2014 · José Antonio Alonso, Giovanni Andrea Cornia, et al. · The United Nations series on development · 4
Relación entre dolomitización y mineralización en el yacimiento de Zn-Pb de Reocín, Cuenca Vasco-Cantábrica, España
2000 · Francisco Velasco, José Antonio Alonso, et al. · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 3
PDF
PRÓLOGO
2013 · José Antonio Alonso · Universidad del Externado de Colombia eBooks · 2
Rete Algorithm Applied to Robotic Soccer
2005 · M. Palomo, F. J. Martín-Mateos, et al. · Lecture notes in computer science · 2
La reforma económica en Cuba: Atrapada en el medio
2020 · José Antonio Alonso, Pavel Vidal Alejandro · Dialnet (Universidad de la Rioja) · 1
Beyond Aid
2016 · José Antonio Alonso · Oxford University Press eBooks · 1
The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics
2011 · Eugenio Roanes-Lozano, José Antonio Alonso, et al. · Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas · 1
Constructing Formally Verified Reasoners for the ALC Description Logic
2008 · M.J. Hidalgo, J.A. Alonso, et al. · Electronic Notes in Theoretical Computer Science · 1
PDF
Economía del español
2008 · José Luis García Delgado, José Antonio Alonso, et al. · 1
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers
2003 · F. J. Martín-Mateos, J. A. Alonso, et al. · Lecture notes in computer science · 1
5. Globalisation, civil society, and the multilateral system
2001 · José Antonio Alonso · 1
Textos y pre-textos
1994 · Citlali Aguilar, José Antonio Alonso, et al. · El Colegio de México eBooks · 1
Influence of cobalt doping on the crystal structure and conductivity of the Sr11Mo4O23 electrolyte
2026 · Diego Hernán Lizarraga, Carlos Darío Miranda, et al. · Journal of Alloys and Compounds Communications
Works count: 44
Citation count: 279
H-index: 8
I10-index: 7
Year
Topic
Type