LEA
Department of Computer Science at the Technische Universität München
Chair for Efficient Algorithms
Postal address: 80290 München; Premises: Arcisstr.21, 80333 München
deutsch

GI-Forschungsseminar 1997:
Proof Verification and Approximation Algorithms

21. mit 25. April 1997 Schloß Dagstuhl


* Announcement (in german)
* Programm or as gziped PS-File (in german)
* List of participants
* Proceedings
* Additional Information for Participants only (restricted access)

Volker Heun, 1997-03-10