Standard

Existential Definability of Unary Predicates in Büchi Arithmetic. / Старчак, Михаил Романович.

Twenty Years of Theoretical and Practical Synergies: CiE 2024. ed. / Ludovic Levy Patey; Elaine Pimentel; Lorenzo Galeotti; Florin Manea. Springer Nature, 2024. p. 218–232 (Lecture Notes in Computer Science; Vol. 14773).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Старчак, МР 2024, Existential Definability of Unary Predicates in Büchi Arithmetic. in L Levy Patey, E Pimentel, L Galeotti & F Manea (eds), Twenty Years of Theoretical and Practical Synergies: CiE 2024. Lecture Notes in Computer Science, vol. 14773, Springer Nature, pp. 218–232, Twenty Years of Theoretical and Practical Synergies, Amsterdam, Netherlands, 8/07/24. https://doi.org/10.1007/978-3-031-64309-5_18

APA

Старчак, М. Р. (2024). Existential Definability of Unary Predicates in Büchi Arithmetic. In L. Levy Patey, E. Pimentel, L. Galeotti, & F. Manea (Eds.), Twenty Years of Theoretical and Practical Synergies: CiE 2024 (pp. 218–232). (Lecture Notes in Computer Science; Vol. 14773). Springer Nature. https://doi.org/10.1007/978-3-031-64309-5_18

Vancouver

Старчак МР. Existential Definability of Unary Predicates in Büchi Arithmetic. In Levy Patey L, Pimentel E, Galeotti L, Manea F, editors, Twenty Years of Theoretical and Practical Synergies: CiE 2024. Springer Nature. 2024. p. 218–232. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-031-64309-5_18

Author

Старчак, Михаил Романович. / Existential Definability of Unary Predicates in Büchi Arithmetic. Twenty Years of Theoretical and Practical Synergies: CiE 2024. editor / Ludovic Levy Patey ; Elaine Pimentel ; Lorenzo Galeotti ; Florin Manea. Springer Nature, 2024. pp. 218–232 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{51873c226cfd42b8b289c0c324e27244,
title = "Existential Definability of Unary Predicates in B{\"u}chi Arithmetic",
author = "Старчак, {Михаил Романович}",
year = "2024",
doi = "10.1007/978-3-031-64309-5_18",
language = "English",
isbn = "978-3-031-64308-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "218–232",
editor = "{Levy Patey}, Ludovic and Elaine Pimentel and Lorenzo Galeotti and Florin Manea",
booktitle = "Twenty Years of Theoretical and Practical Synergies",
address = "Germany",
note = "Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024 ; Conference date: 08-07-2024 Through 12-07-2024",
url = "https://events.illc.uva.nl/CiE/CiE2024/Main/",

}

RIS

TY - GEN

T1 - Existential Definability of Unary Predicates in Büchi Arithmetic

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

PY - 2024

Y1 - 2024

UR - https://www.mendeley.com/catalogue/555e6622-7147-35d5-b786-07c8d72561be/

U2 - 10.1007/978-3-031-64309-5_18

DO - 10.1007/978-3-031-64309-5_18

M3 - Conference contribution

SN - 978-3-031-64308-8

T3 - Lecture Notes in Computer Science

SP - 218

EP - 232

BT - Twenty Years of Theoretical and Practical Synergies

A2 - Levy Patey, Ludovic

A2 - Pimentel, Elaine

A2 - Galeotti, Lorenzo

A2 - Manea, Florin

PB - Springer Nature

T2 - Twenty Years of Theoretical and Practical Synergies

Y2 - 8 July 2024 through 12 July 2024

ER -

ID: 121734306