Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news
NadpisNote on uniform interpolation proofs in modal deep inference calculi
Publication TypeConference Proceedings
Year2011
AuthorsBílková, M.
Conference NameTbiLLC'09
Series TitleLNAI
VolumeLNAI 6618
Stránky30 – 45