FIEDOR, T. A Decision Procedure for the WSkS Logic [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.

Posudky

Posudek vedoucího

Lengál, Ondřej

Navrhovaná známka
A

Posudek oponenta

Rogalewicz, Adam

Navrhovaná známka
A

eVSKP id 79692