

Beschreibung
A selection of papers presented at the international conferenceApplied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, fo...