Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Department of Theoretical Computer Science, Institute of Computer Science,
...

26. květen 2017

NadpisProof systems for Moss' coalgebraic logic
Publication TypeJournal Article
AuthorsBílková, M., A. Palmigiano, and Y. Venema
Stránky36-60
Volume549
Year2014
JournalTheoretical Computer Science