Complexity and Structure (Lecture Notes in Computer Science, 211)
Logics of Programs Brooklyn, June 17-19, 1985
Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983
Structural Complexity I (Texts in Theoretical Computer Science. An EATCS Series)
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)
Structural Complexity II (Monographs in Theoretical Computer Science. An EATCS Series)
Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics, 1141)