José Antonio Alonso Jimenez

According to our database, José Antonio Alonso Jimenez authored at least 2 papers between 1991 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.

José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

1991

Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic.

Jacques Chazarain, Agustín Riscos Gonzáles, José Antonio Alonso Jimenez, Emilio Briales Morales

J. Symb. Comput., 1991