A Decision Procedure for the WSkS Logic

Autor práce
Tomáš Fiedor
Vysoká škola ekonomická v Praze, Fakulta informatiky a statistiky
Vedoucí práce
Ing. Ondřej Lengál