( en | de | ru )

 

Disambiguation of "Morillo, Francisco José Galán"

Author of the publication

copydeleteadd this publication to your clipboard
Object Oriented Software Systems Defined by Constructive Logical Methods.

, and . APPIA-GULP-PRODE, page 125-136. (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco José Rubia

José Francisco Aramendi

José Francisco Heitzmann

Francisco José Leon Escapini

Francisco José Paula Lima

 

Other publications of authors with the same name

Sintesis de Programas Logicos: Marco Constructivo., and . GULP-PRODE, page 497-510. (1995)Named Entity Recognition Through Corpus Transformation and System Combination., , , and . EsTAL, volume 3230 of Lecture Notes in Computer Science, page 255-266. Springer, (2004)Primeros Pasos hacia un Compilador de UML/OCL., , and . JISBD, page 27-32. Universidad de Valladolid, Departamento de Informática, (2000)Towards Rigorous and Effective Type Contracts., and . JISBD, page 361-374. (2001)Object Oriented Software Systems Defined by Constructive Logical Methods., and . APPIA-GULP-PRODE, page 125-136. (1998)Constructing Recursions by Similarity., , and . J. Braz. Comp. Soc., 9 (1): 17-26 (2003)A Method for Compiling and Executing Expressive Assertions., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 521-540. Springer, (2004)Folding by similarity., and . APPIA-GULP-PRODE, page 181-195. Departamento de Informática, Universidade de Évora, (2001)Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving., and . FASE, volume 3442 of Lecture Notes in Computer Science, page 205-219. Springer, (2005)Towards a rigorous and effective functional contract for components., , and . Informatica (Slovenia), (2001)