Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
U. Egly:
"Quantifier Handling in Different Calculi for Quantified Boolean Formulas";
Vortrag: Algebra, Logic and Algorithms seminar,
University of Leeds, United Kingdom (eingeladen);
10.12.2014.