Standard

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

Twenty Years of Theoretical and Practical Synergies: CiE 2024. ред. / Ludovic Levy Patey; Elaine Pimentel; Lorenzo Galeotti; Florin Manea. Springer Nature, 2024. стр. 218–232 (Lecture Notes in Computer Science; Том 14773).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

Harvard

Старчак, МР 2024, Existential Definability of Unary Predicates in Büchi Arithmetic. в L Levy Patey, E Pimentel, L Galeotti & F Manea (ред.), Twenty Years of Theoretical and Practical Synergies: CiE 2024. Lecture Notes in Computer Science, Том. 14773, Springer Nature, стр. 218–232, Twenty Years of Theoretical and Practical Synergies, Amsterdam, Нидерланды, 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. в L. Levy Patey, E. Pimentel, L. Galeotti, & F. Manea (Ред.), Twenty Years of Theoretical and Practical Synergies: CiE 2024 (стр. 218–232). (Lecture Notes in Computer Science; Том 14773). Springer Nature. https://doi.org/10.1007/978-3-031-64309-5_18

Vancouver

Старчак МР. Existential Definability of Unary Predicates in Büchi Arithmetic. в Levy Patey L, Pimentel E, Galeotti L, Manea F, Редакторы, Twenty Years of Theoretical and Practical Synergies: CiE 2024. Springer Nature. 2024. стр. 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. Редактор / Ludovic Levy Patey ; Elaine Pimentel ; Lorenzo Galeotti ; Florin Manea. Springer Nature, 2024. стр. 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 = "null ; 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 - Старчак, Михаил Романович

N1 - Conference code: 20

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

Y2 - 8 July 2024 through 12 July 2024

ER -

ID: 121734306