FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Javier
Álvez
Publicaciones en las que colabora con 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)