Вы здесь

Navarro M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Strong Logic Programming View for Static Embedded Implications 1999 Arruabarrena R., Lucio P., Navarro M. Lecture Notes in Computer Science 02.04.1999
СТ Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications 1993 Navarro M., Orejas F., Remy J. -L. Acta Informatica 21.04.1993
СТ Characterizing Confusion 1993 Navarro M., Orejas F., Sanchez A. EATCS Bull. 24.03.1993