Standard

One-Parametric Presburger Arithmetic Has Quantifier Elimination. / Mansutti, A.; Starchak, M.R.

2025. Работа представлена на 50th International Symposium on Mathematical Foundations of Computer Science, , Warsaw, Польша.

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

Harvard

Mansutti, A & Starchak, MR 2025, 'One-Parametric Presburger Arithmetic Has Quantifier Elimination', Работа представлена на 50th International Symposium on Mathematical Foundations of Computer Science, , Warsaw, Польша, 25/08/25 - 29/08/25. https://doi.org/10.4230/LIPIcs.MFCS.2025.72

APA

Mansutti, A., & Starchak, M. R. (2025). One-Parametric Presburger Arithmetic Has Quantifier Elimination. Работа представлена на 50th International Symposium on Mathematical Foundations of Computer Science, , Warsaw, Польша. https://doi.org/10.4230/LIPIcs.MFCS.2025.72

Vancouver

Mansutti A, Starchak MR. One-Parametric Presburger Arithmetic Has Quantifier Elimination. 2025. Работа представлена на 50th International Symposium on Mathematical Foundations of Computer Science, , Warsaw, Польша. https://doi.org/10.4230/LIPIcs.MFCS.2025.72

Author

Mansutti, A. ; Starchak, M.R. / One-Parametric Presburger Arithmetic Has Quantifier Elimination. Работа представлена на 50th International Symposium on Mathematical Foundations of Computer Science, , Warsaw, Польша.

BibTeX

@conference{c6a5f79a7adf4a4daa70bd41398b3d62,
title = "One-Parametric Presburger Arithmetic Has Quantifier Elimination",
author = "A. Mansutti and M.R. Starchak",
note = "Export Date: 26 January 2026; Cited By: 0; Conference name: 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025; Conference location: Warsaw; Conference date: 2025-08-25 through 2025-08-29; 50th International Symposium on Mathematical Foundations of Computer Science, , MFCS 2025 ; Conference date: 25-08-2025 Through 29-08-2025",
year = "2025",
doi = "10.4230/LIPIcs.MFCS.2025.72",
language = "English",

}

RIS

TY - CONF

T1 - One-Parametric Presburger Arithmetic Has Quantifier Elimination

AU - Mansutti, A.

AU - Starchak, M.R.

N1 - Export Date: 26 January 2026; Cited By: 0; Conference name: 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025; Conference location: Warsaw; Conference date: 2025-08-25 through 2025-08-29

PY - 2025

Y1 - 2025

U2 - 10.4230/LIPIcs.MFCS.2025.72

DO - 10.4230/LIPIcs.MFCS.2025.72

M3 - Paper

T2 - 50th International Symposium on Mathematical Foundations of Computer Science,

Y2 - 25 August 2025 through 29 August 2025

ER -

ID: 147891795