Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
транзитивный
Связанные издания:
Maintaining Constrained Transitive Closure by Conjunctive Queries
On best transitive approximations to simple graphs
Program Specific Transition Systems
Reachability Problems: Proc./12th International Conference, RP 2018, Marseille, France, September 2018
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics