Monadic Second Order formula: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Monadic Second Order formula''' --- монадическая второго порядка формула. ==See== *'' Logic for expressing graph properties''.») |
(нет различий)
|
Текущая версия от 14:55, 2 июня 2011
Monadic Second Order formula --- монадическая второго порядка формула.
See
- Logic for expressing graph properties.