Standard

Existential Definability with Addition and k-Regular Predicates. / Старчак, Михаил Романович.

2023. Реферат от 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Греция.

Результаты исследований: Материалы конференций › тезисы

Harvard

Старчак, МР 2023, 'Existential Definability with Addition and k-Regular Predicates', 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Греция, 25/09/23 - 27/09/23. <https://www.lacl.fr/jaf/jaf42/abstractStarchak.pdf>

APA

Старчак, М. Р. (2023). Existential Definability with Addition and k-Regular Predicates. Реферат от 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Греция. https://www.lacl.fr/jaf/jaf42/abstractStarchak.pdf

Vancouver

Старчак МР. Existential Definability with Addition and k-Regular Predicates. 2023. Реферат от 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Греция.

Author

Старчак, Михаил Романович. / Existential Definability with Addition and k-Regular Predicates. Реферат от 42ème Journées sur les Arithmétiques Faibles, Karlovassi, Греция.4 стр.

BibTeX

@conference{b290a78eb9384bf2a612f1dbd7d3fe85,
title = "Existential Definability with Addition and k-Regular Predicates",
keywords = "Existential definability, Automatic structures, B{\"u}chi arithmetic, Quantifier elimination, Decidability, Existential definability, Automatic structures, B{\"u}chi arithmetic, Quantifier elimination, Decidability",
author = "Старчак, {Михаил Романович}",
year = "2023",
month = sep,
language = "English",
note = "null ; Conference date: 25-09-2023 Through 27-09-2023",
url = "http://mathweb.aegean.gr/jaf42/",

}

RIS

TY - CONF

T1 - Existential Definability with Addition and k-Regular Predicates

AU - Старчак, Михаил Романович

N1 - Conference code: 42

PY - 2023/9

Y1 - 2023/9

KW - Existential definability

KW - Automatic structures

KW - Büchi arithmetic

KW - Quantifier elimination

KW - Decidability

KW - Existential definability

KW - Automatic structures

KW - Büchi arithmetic

KW - Quantifier elimination

KW - Decidability

M3 - Abstract

Y2 - 25 September 2023 through 27 September 2023

ER -

ID: 113865262