You are not logged in |
Strong completeness for CTL, continuation
- Speaker(s)
- Konrad Zdanowski
- Affiliation
- UKSW
- Language of the talk
- English
- Date
- Nov. 28, 2025, 12:15 p.m.
- Room
- room 5450
- Title in Polish
- Silne twierdzenie o pełności dla CTL, ciąg dalszy
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
