Monadic Second Order formula

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

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

See

  • Logic for expressing graph properties.
Источник — http://pco.iis.nsk.su/wega/index.php?title=Monadic_Second_Order_formula&oldid=8107