Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
плотность
Связанные издания:
An Action Structure for Synchronous -Calculus
Dense and Disjunctive Properties of Languages
Dense Multiway Trees
Is Timed Branching Bisimilarity an Equivalence Indeed?
The Relative Strength of Topological Properties for Event Structures
Грядет жестокое уплотнение