José Luis
Freire Nistal
Publicaciones en las que colabora con José Luis Freire Nistal (12)
2012
-
On the confluence of the graphic calculus with penrose diagrams (I)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)
2007
-
On the representation of imperative programs in a logical framework
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
-
An automatic calculator with Penrose diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
From sequential to distributed formal proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1993
-
On the naturality of the iteration and recursive specifications
Applied Mathematics and Computation, Vol. 58, Núm. 1, pp. 1-18
1980
-
Triples asociados
Publicacions matematiques, Núm. 20, pp. 115-117