Nie jesteś zalogowany |
Strong completeness for CTL, continuation
- Prelegent(ci)
- Konrad Zdanowski
- Afiliacja
- UKSW
- Język referatu
- angielski
- Termin
- 28 listopada 2025 12:15
- Pokój
- p. 5450
- Tytuł w języku polskim
- Silne twierdzenie o pełności dla CTL, ciąg dalszy
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
