FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Javier
Álvez
Publicacions en què col·labora amb Javier Álvez (1)
2010
-
A complete axiomatization of strict equality
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)