Goerdt, Andreas
Andreas Goerdt
VIAF ID: 901149198282874940007 (Personal)
Permalink: http://viaf.org/viaf/901149198282874940007
Preferred Forms
- 100 0 _ ‡a Andreas Goerdt
-
- 100 1 _ ‡a Goerdt, Andreas
- 100 1 _ ‡a Goerdt, Andreas
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Characterizing complexity classes by higher type | |
Efficient interpolation for the intuitionistic sequent calculus | |
giant component threshold for random regular graphs with edge faults | |
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen | |
Interaktive und nutzerzentrierte Visualisierung von ergonomischen Daten für die intuitive Evaluierung komplexer Arbeitsprozesse | |
Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln | |
Matched instances of Quantum Sat (QSat) Product state solutions of restrictions | |
Rabattprobleme aus Konsumentensicht - Eine Online- und Offlineanalyse | |
Schwellwert für die Lösbarkeit von zufälligen Gleichungssystemen über Z3 | |
Spectral Partitioning of Random Graphs with Given Expected Degrees - Detailed Version | |
Unrestricted resolution versus N-resolution | |
Workshop über Komplexitätstheorie, Datenstrukturen und Efficiente Algorithmen Tagungsband zum 34. Workshop, 10. März 1998 TU Chemnitz |