Standard

Построение разрешимых графов по разрешимым структурам. / Баженов, Николай Алексеевич; Harrison-Trainor, M.

In: Алгебра и логика, Vol. 58, No. 5, 2019, p. 553-573.

Research output: Contribution to journal › Article › peer-review

Harvard

Баженов, НА & Harrison-Trainor, M 2019, 'Построение разрешимых графов по разрешимым структурам', Алгебра и логика, vol. 58, no. 5, pp. 553-573.

APA

Баженов, Н. А., & Harrison-Trainor, M. (2019). Построение разрешимых графов по разрешимым структурам. Алгебра и логика, 58(5), 553-573.

Vancouver

Баженов НА, Harrison-Trainor M. Построение разрешимых графов по разрешимым структурам. Алгебра и логика. 2019;58(5):553-573.

Author

Баженов, Николай Алексеевич ; Harrison-Trainor, M. / Построение разрешимых графов по разрешимым структурам. In: Алгебра и логика. 2019 ; Vol. 58, No. 5. pp. 553-573.

BibTeX

@article{4e4bc4ffddf344838474499e2461764f,
title = "Построение разрешимых графов по разрешимым структурам",
abstract = "Показано, что любая структура (в том числе и в бесконечном языке) может быть преобразована в граф, биинтерпретируемый с исходной структурой. При этом полные диаграммы графа и исходной структуры вычислимы относительно друг друга",
author = "Баженов, {Николай Алексеевич} and M. Harrison-Trainor",
note = "Баженов Н.А., Харрисон-Трейнор М. Построение разрешимых графов по разрешимым структурам // Алгебра и логика. - 2019. - Т. 58. - № 5. - С. 553-573",
year = "2019",
language = "русский",
volume = "58",
pages = "553--573",
journal = "Алгебра и логика",
issn = "0373-9252",
publisher = "Новосибирский региональный общественный фонд {"}Сибирский фонд алгебры и логики{"}",
number = "5",

}

RIS

TY - JOUR

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

AU - Баженов, Николай Алексеевич

AU - Harrison-Trainor, M.

N1 - Баженов Н.А., Харрисон-Трейнор М. Построение разрешимых графов по разрешимым структурам // Алгебра и логика. - 2019. - Т. 58. - № 5. - С. 553-573

PY - 2019

Y1 - 2019

N2 - Показано, что любая структура (в том числе и в бесконечном языке) может быть преобразована в граф, биинтерпретируемый с исходной структурой. При этом полные диаграммы графа и исходной структуры вычислимы относительно друг друга

AB - Показано, что любая структура (в том числе и в бесконечном языке) может быть преобразована в граф, биинтерпретируемый с исходной структурой. При этом полные диаграммы графа и исходной структуры вычислимы относительно друг друга

UR - https://elibrary.ru/item.asp?id=41432269

M3 - статья

VL - 58

SP - 553

EP - 573

JO - Алгебра и логика

JF - Алгебра и логика

SN - 0373-9252

IS - 5

ER -

ID: 22574865