Refine your search
Availability
-
Bibliographic level
-
Authors
- Евтушенко, Нина Владимировна [x]
- Кавалли, Ана Роза (2)
- Кондратьева, Ольга Викторовна (2)
- Бушков, Виктор Георгиевич (1)
-
Topics
- автоматные уравнения (2)
- временные автоматы (2)
- параллельная композиция [x]
- Бюхи условие (1)
- конечные автоматы (1)
- параллельная композиция ω-языков (1)
- уравнения для ω-языков (1)
- Show more
- Show less