Characterizing the existence of optimal proof systems and complete sets for promise classes

04.08.2021

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.)

©2022 Wszystkie prawa zastrzeżone.