José Antonio Alonso Jimenez

2003
2	EE	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: 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

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

Colors in the list of coauthors