Вы здесь
Marino J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 | ||
СТ | 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 | |||
СТ | Constructive Intensional Negation | 2004 | Munoz-Hernandez S., Marino J., Moreno-Navarro J. J. | Lecture Notes in Computer Science | 07.05.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Functional and Constraint Logic Programming: Revised Selected Papers/19th International Workshop, WFLP 2010, Madrid, Spain, January 2010 | 2011 | Lecture Notes in Computer Science |
|
26.07.2011 |