Autor
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic Boulder, Colorado)
1
Abramsky, Samson, 1953-
1
Blakeley, Thomas J., 1931-1989
1
Broy, Manfred, 1949-
1
Burris, Stanley N.
1
Carnielli, Walter Alexandre, 1952-
1
Carpenter, Bob
1
Clark, K. L. 1943-
1
Colbert, James G.
1
Cooper, S. B. 1943-2015
1
Davis, Martin, 1928-2023
1
Epstein, Richard L., 1947-
1
Gabbay, Dov M., 1945-
1
Ghilezan, Silvia, 1959-
1
Gray, John W.
1
Hintikka, Jaakko, 1929-
1
Hintikka, Merrill B., 1939-
1
Hodel, Richard E.
1
Huth, Michael, 1962-
1
IEEE Symposium on Logic in Computer Science
1
Kowalski, Robert, 1941-
1
Kröger, Fred, 1945-
1
Lawrence, Cavedon
1
Leeuwen, Jan van, 1946-
1
Loveland, Donald W.
1
Luo, Zhaohui
1
Maibaum, Thomas S. E., 1947-
1
Merz, Stephan, 1963-
1
Moschovakis, Yiannis N.
1
Nait Abdallah, Areski
1
Ognjanović, Zoran
1
Ryan, Mark, 1955-
1
Satty, Glenn
1
Scedrov, Andre
1
Schwichtenberg, Helmut, 1942-
1
Snyder, Wayne
1
Sterrett, S. G.
1
Swart, H. C. M. de 1944-
1
Thamburaj, Robinson
1
Thomas, D. Gnanaraj
1
Tärnlund, S. A.
1
Williams, J. G.
1