Automata logic and infinite games : a guide to current research

Сохранить в:
Библиографические подробности
Главный автор: Gradel, Erich
Другие авторы: Thomas, Wolfgang/Wilke, Thomas eds
Язык:английский
Опубликовано: Berlin Springer 2002
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Схожие документы: Automata logic and infinite games : a guide to current research