Seminar mit Seminararbeit (SS 18)

Thema: N. Immerman: Descriptive Complexity, Springer, 1999

• Johannes Kloibhofer: First-order Reduktionen
• Markus Peschl: Erfassung deterministischer Polynomialzeit mittels kleinsten Fixpunktoperatoren
• Martin Gius: Ehrenfeucht-Fraïssé Spiele
• Alexander Kövesdi: Prädikatenlogik zweiter Stufe und der Satz von Fagin