Symposium on Algorithms ESA '93, held in Bad Honnef, near Boon, in Germany, September 30 - October 2, 1993. The symposium is intended to launch an ann...

This volume presents the proceedings of the Seventh International Workshop on Distributed Algorithms WDAG'93, held in Lausanne, Switzerland, Septembe...

This volume constitutes the proceedings of The Third International Workshop on Static Analysis WSA'93, held in Padova, Italy, in September 1993. The...

This volume constitutes the proceedings of The 7th European Knowledge Acquisition Workshop EKAW '93, held in Toulouse and Caylus, France, in Septembe...

This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems DISCO '93, held i...