Annals of Pure and Applied Logic, Volume 69

Volume 69, Number 1, 6 September 1994

Volume 69, Numbers 2-3, 14 October 1994

Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science
maintained by Schloss Dagstuhl LZI, founded at University of Trier