1. 2023
  2. Logic vs topology on regular ω-languages

    Селиванов, В. Л. & Ореховский, В. Н., 2023, Unity of Logic and Computation (CiE 2023). Springer Nature, Vol. 13967. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

ID: 97957421