Martin-Löf, Per, Mints, Grigori, SpringerLink (Online service)
Springer-Verlag
|
International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)
Springer-Verlag
|
Martin-Löf, Per., Mints, Grigori., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Conference on Category Theory and Computer Science, Moggi, Eugenio, Rosolini, G. (Giuseppe), 1954-
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-
Springer-Verlag
|
International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938-
Springer-Verlag
|
Foundations of Logic and Functional Programming Workshop, Boscarol, Mauro, 1947-, Carlucci Aiello, Luigia, 1946-, Levi, …
Springer-Verlag
|
DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent
Springer
|
Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert
Springer
|
Symposium on Mathematical Foundations of Computer Science, Tarlecki, Andrzej, 1956-
Springer-Verlag
|
International Conference on Automated Deduction, Shostak, Robert, 1931-
Springer-Verlag
|