Monadic Second Order formula

Материал из WEGA
Перейти к навигации Перейти к поиску

Monadic Second Order formula --- монадическая второго порядка формула.

See

  • Logic for expressing graph properties.