Forschungsschwerpunkt: |
Lehrstuhl für Informatik IV
Institut für Informatik, Am Hubland, 97074 Würzburg Mail: wagner@informatik.uni-wuerzburg.de Url: http://theoretische.informatik.uni-wuerzburg.de |
Wissenschaftliche Mitglieder:
Professoren:
Forschungsschwerpunkte (und Projekte auf Basis der Grundausstattung):
Zeugenreduzierung und -reduzierbarkeit