Nie jesteś zalogowany |
NP-completeness of BCI
- Prelegent(ci)
- Paweł Urzyczyn
- Afiliacja
- MIMUW
- Termin
- 22 października 2021 12:15
- Pokój
- p. 5820
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
We will see a proof of NP-completness of propositional implicational logic BCI, in which each assumption is used exactly once.
