Standard

Logic vs topology on regular ω-languages. / Селиванов, Виктор Львович; Ореховский, Владислав Николаевич.

Unity of Logic and Computation (CiE 2023). Vol. 13967 Springer Nature, 2023. (LNCS).

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

Harvard

Селиванов, ВЛ & Ореховский, ВН 2023, Logic vs topology on regular ω-languages. in Unity of Logic and Computation (CiE 2023). vol. 13967, LNCS, Springer Nature, Computability in Europe-2023, 24/07/23. https://doi.org/10.1007/978-3-031-36978-0_12

APA

Селиванов, В. Л., & Ореховский, В. Н. (2023). Logic vs topology on regular ω-languages. In Unity of Logic and Computation (CiE 2023) (Vol. 13967). (LNCS). Springer Nature. https://doi.org/10.1007/978-3-031-36978-0_12

Vancouver

Селиванов ВЛ, Ореховский ВН. Logic vs topology on regular ω-languages. In Unity of Logic and Computation (CiE 2023). Vol. 13967. Springer Nature. 2023. (LNCS). https://doi.org/10.1007/978-3-031-36978-0_12

Author

Селиванов, Виктор Львович ; Ореховский, Владислав Николаевич. / Logic vs topology on regular ω-languages. Unity of Logic and Computation (CiE 2023). Vol. 13967 Springer Nature, 2023. (LNCS).

BibTeX

@inproceedings{ae219c269f794aa2a339cdd3d92654df,
title = "Logic vs topology on regular ω-languages",
author = "Селиванов, {Виктор Львович} and Ореховский, {Владислав Николаевич}",
note = "V. Orekhovskii, V. Selivanov. Logic vs topology on regular ω-languages. G. Della Vedova et al. (Eds.): CiE 2023, LNCS 13967, pp. 141–153, 2023. DOI: 10.1007/978-3-031-36978-0_12; Computability in Europe-2023 ; Conference date: 24-07-2023",
year = "2023",
doi = "10.1007/978-3-031-36978-0_12",
language = "English",
volume = "13967",
series = "LNCS",
publisher = "Springer Nature",
booktitle = "Unity of Logic and Computation (CiE 2023)",
address = "Germany",

}

RIS

TY - GEN

T1 - Logic vs topology on regular ω-languages

AU - Селиванов, Виктор Львович

AU - Ореховский, Владислав Николаевич

N1 - V. Orekhovskii, V. Selivanov. Logic vs topology on regular ω-languages. G. Della Vedova et al. (Eds.): CiE 2023, LNCS 13967, pp. 141–153, 2023. DOI: 10.1007/978-3-031-36978-0_12

PY - 2023

Y1 - 2023

U2 - 10.1007/978-3-031-36978-0_12

DO - 10.1007/978-3-031-36978-0_12

M3 - Conference contribution

VL - 13967

T3 - LNCS

BT - Unity of Logic and Computation (CiE 2023)

PB - Springer Nature

T2 - Computability in Europe-2023

Y2 - 24 July 2023

ER -

ID: 126990525