Example image of eyePlorer eyePlorer-Ergebnisse für 'Deskriptive Komplexitätstheorie': Modelltheorie Komplexitätsklasse NP (Komplexitätsklasse) Prädikatenlogik PSPACE Turingmaschine Polynomialzeithierarchie L (Komplexitätsklasse) NL (Komplexitätsklasse) Ehrenfeucht-Fraïssé-Spiele Reduktion (Theoretische Informatik) Vertragsbindung
Disclaimer