José Luis Doncel

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. J. Formaliz. Reason. 1 (1) (2008)
Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, A. Vieites
Certified Genetic Algorithms: Crossover Operators for Permutations. EUROCAST (2007)