Построение разрешимых графов по разрешимым структурам

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

Показано, что любая структура (в том числе и в бесконечном языке) может быть преобразована в граф, биинтерпретируемый с исходной структурой. При этом полные диаграммы графа и исходной структуры вычислимы относительно друг друга
Переведенное названиеConstructing decidable graphs from decidable structures
Язык оригиналарусский
Страницы (с-по)553-573
Число страниц21
ЖурналАлгебра и логика
Том58
Номер выпуска5
СостояниеОпубликовано - 2019

ГРНТИ

  • 27 МАТЕМАТИКА

Fingerprint Подробные сведения о темах исследования «Построение разрешимых графов по разрешимым структурам». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать