Вы здесь
Dawar A.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Restricted Second Order Logic for Finite Structures | 1995 | Dawar A. | Lecture Notes in Computer Science | Logic and Computational Complexity | 27.09.1995 | ||
СТ | Implicit Definability and Infinitary Logic in Finite Model Theory | 1995 | Dawar A., Hella L., Kolaitis P. G. | Lecture Notes in Computer Science | Automata, Languages and Programming | 10.09.1995 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | How the World Computes: Proc./Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012 | 2012 | Lecture Notes in Computer Science |
|
13.08.2012 | |||
СБ | Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010 | 2010 | Lecture Notes in Computer Science |
|
13.10.2010 | |||
СБ | Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010 | 2010 | Lecture Notes in Artificial Intelligence |
|
21.09.2010 |