Вы здесь

Marino J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Constructive Intensional Negation 2004 Munoz-Hernandez S., Marino J., Moreno-Navarro J. J. Lecture Notes in Computer Science 07.05.2004
СТ Using Static Analysis to Compile Non-sequential Functional Logic Programs 2000 Marino J., Moreno-Navarro J. J. Lecture Notes in Computer Science 03.02.2000
СТ Definability and Descriptive Complexity on Databases of Bounded Tree-Width 1998 Grohe M., Marino J. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.1999