- Tytuł:
- The Topological Mu-Calculus: Completeness and Decidability.
- Autorzy:
- Źródło:
- Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-38. 38p.
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.