José Antonio Alonso Jimenez

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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page