María-José Hidalgo
Author
Alternate names Maria José Hidalgo, M. J. Hidalgo‐Doblado, Mariá J. Hidalgo, María ‐José Hidalgo, María‐José Hidalgo +6 more
Institution Universidad de Sevilla
Past institution Universidad de Sevilla
ORCID: Yes
H-index: 7
I10-index: 4
Works count: 23
Citations count: 118
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
2002 · F. J. Mart ́ in-Mateos, José Antonio Alonso, et al.
Untitled
2002 · José–Luis Ruiz–Reina, José-Antonio Alonso, et al. · Annals of Mathematics and Artificial Intelligence
A logic-algebraic tool for reasoning with Knowledge-Based Systems
2018 · José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, et al. · Journal of Logical and Algebraic Methods in Programming