José Santiago
Jorge Castro
Profesor Permanente Laboral
Juan José
Quintela Carreira
Profesor Asociado
Publications by the researcher in collaboration with Juan José Quintela Carreira (1)
1997
-
From sequential to distributed formal proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)