Неполнота класса регулярных частично упорядоченных полигонов
Доклады
2008
Российская школа-семинар "Синтаксис и семантика логических систем". Тезисы докладов