Standard

Quantifier elimination approach to existential linear arithmetic with GCD. / Старчак, Михаил Романович.

2021. Abstract from 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days, Athens, Greece.

Research output: Contribution to conference › Abstract

Harvard

Старчак, МР 2021, 'Quantifier elimination approach to existential linear arithmetic with GCD', 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days, Athens, Greece, 25/10/21 - 27/10/21. <https://www.lacl.fr/jaf/jaf40/abstractStarchak.pdf>

APA

Старчак, М. Р. (2021). Quantifier elimination approach to existential linear arithmetic with GCD. Abstract from 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days, Athens, Greece. https://www.lacl.fr/jaf/jaf40/abstractStarchak.pdf

Vancouver

Старчак МР. Quantifier elimination approach to existential linear arithmetic with GCD. 2021. Abstract from 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days, Athens, Greece.

Author

Старчак, Михаил Романович. / Quantifier elimination approach to existential linear arithmetic with GCD. Abstract from 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days, Athens, Greece.4 p.

BibTeX

@conference{9010fd63d4fe4a9daacfa57ad59d9556,
title = "Quantifier elimination approach to existential linear arithmetic with GCD",
author = "Старчак, {Михаил Романович}",
year = "2021",
month = oct,
language = "English",
note = "40{\`e}me Journ{\'e}es sur les Arithm{\'e}tiques Faibles - 40th Weak Arithmetics Days, JAF ; Conference date: 25-10-2021 Through 27-10-2021",
url = "https://conferences.uoa.gr/event/30/",

}

RIS

TY - CONF

T1 - Quantifier elimination approach to existential linear arithmetic with GCD

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

N1 - Conference code: 40

PY - 2021/10

Y1 - 2021/10

M3 - Abstract

T2 - 40ème Journées sur les Arithmétiques Faibles - 40th Weak Arithmetics Days

Y2 - 25 October 2021 through 27 October 2021

ER -

ID: 102484595