Статья

Архив Редакционно-издательская деятельность Работа в журнале "Theoretical Computer Science"TCS. Статья А.П. Столбоушкина и М.А. Тайцлина

Статья

Статья

"The comparison of the expressive power of first-order dynamic logics".

Дата:

29.10.1982

Авторы:

Михаил Абрамович Тайцлин
Алексей Петрович Столбоушкин