Вы здесь

Niwinski D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Relating Hierarchies of Word and Tree Automata 1998 Niwinski D., Walukiewicz I. Lecture Notes in Computer Science 31.03.1998
СТ First-Order Queries over Temporal Databases Inexpressible in Temporal Logic 1996 Toman D., Niwinski D. Lecture Notes in Computer Science 18.04.1996
СТ Automata on Infinite Trees with Counting Constraints 1993 Beauquier D., Niwinski D. Lecture Notes in Computer Science 26.05.1993

Редактор: