This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the e...

This volume contains the proceedings of The Fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers s...

This volume collects the papers presented at the European Conference on Spatial Information Theory COSIT '93 held on the island of Elba, Italy, in Sep...

This volume contains the proceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming PLILP '93, held...

The Third Kurt Godel Symposium, KGC'93, held in Brno, Czech Republic, August 1993, is the third in a series of biennial symposia on logic, theoretical...