( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of CRWL Programs with Rewriting Logic.

, и . J. Univers. Comput. Sci., 12 (11): 1594-1617 (2006)

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

 

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

A logic programming approach to the verification of functional-logic programs., , и . PPDP, стр. 9-19. ACM, (2004)Semantic Determinism and Functional Logic Program Properties., и . RULE@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 3-15. Elsevier, (2006)Verification of CRWL Programs with Rewriting Logic., и . J. Univers. Comput. Sci., 12 (11): 1594-1617 (2006)