Karp-Miller tree

Материал из WEGA
Версия от 12:16, 26 мая 2011; Glk (обсуждение | вклад) (Новая страница: «'''Karp-Miller tree''' --- дерево Карпа-Миллера. The same as ''Coverability tree''.»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Karp-Miller tree --- дерево Карпа-Миллера.

The same as Coverability tree.

Источник — http://pco.iis.nsk.su/wega/index.php?title=Karp-Miller_tree&oldid=7806