Logic at Work

Logic at Work 1992: Amsterdam, The Netherlands

maintained by Schloss Dagstuhl LZI, founded at University of Trier