Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
неподвижная точка
Связанные издания:
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Backtracking Games and Inflationary Fixed Points
Bounded Model Checking of Pointer Programs
Concurrent Semantics without the Notions of State or State Transitions
Dual unbounded nondeterminacy, recoursion, and fixpoints
Model-Checking for pi-Calculus Using Proof Search
Model Checking: Knowledge, Actions and Fixpoints
On the Expressive Power of Monadic Least Fixed Point Logic