CCL'97: Annual Workshop of the ESPRIT Working Group "Construction of Computational Logic II"

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

Background information on DROPS

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.