Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news
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