Вы здесь
Frick M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Generalized Model-Checking over Locally Tree-Decomposable Classes | 2002 | Frick M. | Lecture Notes in Computer Science | 30.03.2002 | |||
СТ | Query Evaluation via Tree-Decompositions. Extended Abstract | 2000 | Flum J., Frick M., Grohe M. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 30.01.2001 |