April 21 – 25 , 1997, GI-Dagstuhl Seminar 97172

Beweisverifikation und Approximationsalgorithmen


E. W. Mayr (TU-München), H. J. Prömel (HU-Berlin), A. Steger (TU-München)

For support, please contact

Heike Clemens


External Homepage
Dagstuhl's Impact: Documents available

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.