Computer science logic

5th Workshop, CSL '91, Berne, Switzerland, October 1991

Modular construction and partial order semantics of Petri nets

Contemporary knowledge engineering and cognition

first joint workshop, Kaiserslautern, Germany, February 1992, proceedings

Logic programming and automated reasoning

International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992

Algorithm theory-SWAT '92

Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992