Вы здесь
Otto M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Adding For-Loops to First-Order Logic. Extended Abstract | 1998 | Neven F., Otto M., Tyszkiewicz J., Van Den Bussche J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.01.1999 | ||
| СТ | The Logic of Explicitly Presentation-Invariant Circuits | 1997 | Otto M. | Lecture Notes in Computer Science | 18.07.1997 | |||
| СТ | Inductive Definability with Counting on Finite Structures | 1993 | Gradel E., Otto M. | Lecture Notes in Computer Science | 06.11.1993 |