( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Folding by similarity.

, и . APPIA-GULP-PRODE, стр. 181-195. Departamento de Informática, Universidade de Évora, (2001)

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.

José Miguel Simian

José Miguel Dörner Fernández

José Miguel Olivares Tramón

José Miguel Méndez Alcaraz

José Miguel Garcia Schürmann

 

Другие публикации лиц с тем же именем

Defeasible Argumentation of Software Architectures., , и . WICSA, стр. 115-121. IEEE Computer Society, (2016)Improving the Performance of a Tagger Generator in an Information Extraction Application., , , , и . J. Univers. Comput. Sci., 13 (9): 1287-1299 (2007)Towards Rigorous and Effective Type Contracts., и . JISBD, стр. 361-374. (2001)Constructing Recursions by Similarity., , и . J. Braz. Comp. Soc., 9 (1): 17-26 (2003)A Method for Compiling and Executing Expressive Assertions., и . IFM, том 2999 из Lecture Notes in Computer Science, стр. 521-540. Springer, (2004)Primeros Pasos hacia un Compilador de UML/OCL., , и . JISBD, стр. 27-32. Universidad de Valladolid, Departamento de Informática, (2000)Clarifying the semantics of value in use cases through Jackson's Problem Frames., , , и . Inf. Process. Lett., 107 (6): 221-229 (2008)Synthesis of positive logic programs for checking a class of definitions with infinite quantification., и . Inf. Comput., (2016)Towards a rigorous and effective functional contract for components., , и . Informatica (Slovenia), (2001)The intentional relationship of representation between the constructs of a language and reality., , и . Data Knowl. Eng., 68 (2): 173-191 (2009)