Вы здесь
Walukiewicz I.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Difficult Configurations - On the Complexity of LTrL | 1998 | Walukiewicz I. | Lecture Notes in Computer Science | 11.08.1998 | |||
СТ | Relating Hierarchies of Word and Tree Automata | 1998 | Niwinski D., Walukiewicz I. | Lecture Notes in Computer Science | 31.03.1998 | |||
СТ | Automata for the modal mu-calculus and related results | 1995 | Janin D., Walukiewicz I. | Lecture Notes in Computer Science | Mathematical Foundations of Computer Science 1995 | 24.10.1995 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Fundamentals of Computation Theory: Proc./20th International Symposium, FCT 2015, Gdansk, Poland, August 2015 | 2015 | Lecture Notes in Computer Science |
|
29.09.2015 | |||
СБ | Foundations of Software Science and Computation Structures: Proc./7th Intern. Conf., FOSSACS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004 | 2004 | Lecture Notes in Computer Science |
|
30.04.2004 |