Poprzednia strona
Rekrutacja 2022/23
A. Gomolińska
Characterizing the existence of optimal proof systems and complete sets for promise classes
10th Fall School of Logic and Complexity, Praha, Czech Republic, Sep 21-25, 2009
Charles University (org.)