Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-
Springer-Verlag
|
International Conference on the Mathematics of Program Construction, Kozen, Dexter
Springer
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-
Springer-Verlag
|
Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott
North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
|
International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves
Springer
|
Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954-
Springer-Verlag
|
DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent
Springer
|
Foundations of Logic and Functional Programming Workshop, Boscarol, Mauro, 1947-, Carlucci Aiello, Luigia, 1946-, Levi, …
Springer-Verlag
|
International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)
Springer-Verlag
|
Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …
IEEE Computer Society Press, Order from IEEE Computer Society
|
Symposium on Mathematical Foundations of Computer Science, Tarlecki, Andrzej, 1956-
Springer-Verlag
|
International Conference on Management and Performance Evaluation of Computer Systems, Computer Measurement Group
Computer Measurement Group
|