Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Mogens Nielsen, Wolfgang Thomas (eds.)

Johann A. Makowsky, Elena V. Ravve (eds.)

Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds

Dirk van Dalen, Marc Bezem (eds.)

Gilles Dowek ... [et al.], (eds.)

M.A. McRobbie, J.K. Slaney, (eds.)

edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke

edited by Helmut Schwichtenberg

Leszek Pacholski, Jerzy Tiuryn (eds.)

Daniel Leivant (ed.)

A. Nerode, Yu. V. Matiyasevich (eds.)

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

J. Oikkonen, J. Väänänen (eds.)

E. Börger ... [et al.] (eds.)

organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

E. Börger ... [et al.], eds

A. Nerode, M. Taitslin (eds.)

A. Fuhrmann, M. Morreau, (eds.)

E. Börger ... [et al.], eds

E. Börger, H. Kleine Büning, M.M. Richter (eds.)

M.E. Stickel (ed.)

R. Studer (ed.)

A.R. Meyer, M.A. Taitslin (eds.)

editor, Zbigniew W. Ras

M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)

edited by R.E. Shostak

edited by D.W. Loveland

edited by G.H. Müller, G. Takeuti, and T. Tugué

edited by Frank Heny, Helmut S. Schnelle

edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui

edited by R. Parikh

edited by A.R.D. Mathias, H. Rogers

I. Bucur ... [et al.] ; edited by F.W. Lawvere

edited by J.W. Addison, Leon Henkin, Alfred Tarski