dblp.uni-trier.dewww.uni-trier.de

José Antonio Alonso Jimenez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
2EEJosé-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: 75-91
1991
1 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): 181-194 (1991)

Coauthor Index

1Jacques Chazarain [1]
2Agustín Riscos Gonzáles [1]
3María-José Hidalgo [2]
4Francisco-Jesús Martín-Mateos [2]
5Emilio Briales Morales [1]
6José-Luis Ruiz-Reina [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)