José Antonio Alonso Jimenez

Publication Activity (10 Years)

Years Active: 1991-2003
Publications (10 Years): 0

Publications

José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. LOPSTR (2003)
Jacques Chazarain, Agustín Riscos Gonzáles, José Antonio Alonso Jimenez, Emilio Briales Morales
Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. J. Symb. Comput. 11 (3) (1991)