[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
U. Egly:
"On the Relation between Resolution Calculi for QBFs and First-order Formulas";
Vortrag: International Workshop on Quantified Boolean Formulas, Wien; 13.07.2014.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.