José Luis
Freire Nistal
Publicacións nas que colabora con José Luis Freire Nistal (7)
2009
-
Certifying properties of an efficient functional program for computing Gröbner bases
Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 571-582
-
The foldl operator as a coequalizer using Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Towards a certified and efficient computing of gröbrier bases
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
-
Development of a scalable, fault tolerant, and low cost cluster-based e-payment system with a distributed functional kernel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2809, pp. 220-230
2001
-
Fusion in Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Prove and then execute
EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja
1997
-
From sequential to distributed formal proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)