Chaika / Springer Verlag / Springer-Verlag / Montreal / Tel-Aviv / Boulder / Wesleyan U. / Philadelphia / Washington / D.C. / Pittsburgh / Amsterdam / Kozen / Tel Aviv / Baltimore / Palo Alto / New York / Newport / Nyborg / Zurich / New Orleans / Haifa / Clarke / Prague / Williamstown / Sendai / Edinburgh / /
Company
Addison-Wesley Publishing Company / System Sciences / Hitachi America Corporation / Charter / MIT Press Foundations / Greif / MIT Laboratory / IBM / SIAM J. Comp / Elsevier Science Publishers B. V. / J. Computer / J. Comp / T. Computer Science & AI Laboratory / /
Country
Netherlands / Bulgaria / Japan / United Kingdom / Israel / Scotland / Denmark / / /
Facility
Computer Science Massachusetts Institute of Technology April / University of Queensland / University of Texas / Computationally Complex / Institute of Electrical / University of Chicago / Williams College / /
Organization
Society for Industrial and Applied Mathematics Publications Books / Univ. of Warwick / Sciences Institute / University of Texas at Austin / Mathematics Association of America / Carnegie-Mellon Univ. / Software Verification Research Centre / Program Committee / Massachusetts Institute of Technology / Advisory Board / Edinburgh Univ. / Cornell Univ. / Association for Symbolic Logic / Yale Univ. / Co-Chair and Program Committee / University of Queensland / Lab. for Computer Science Associate / University of Chicago / American Academy of Arts and Sciences / EDITORIAL SERVICE / NSF Computer Science Advisory Board / Institute of Electrical and Electronic Engineers / Stata Center / University of Texas / Boston Univ. / CarnegieMellon Univ. / Univ. of Calif. / Tulane Univ. / Press Computer Science Editorial Board / Cornell / Yale / Concordia Univ. / SUNY / Williams College / M.I.T. Lab. for Computer Science TM97 / Univ. of California / Harvard Univ. / Organizing Committee / Harvard College / Association for Computing Machinery / Johns Hopkins Univ. / Munich Univ. / Oxford Univ. / Division of Applied Science / Eidgenossiche Technische Hochschule / /
Person
Jan / Int / Murray Hill / Lab / Concordia Univ / Neil Paterson / M. Paterson / ALBERT R. MEYER / Trakhtenbrot / Anita Jones / Gerard Huet / Tape Units / / /
Position
Professor of Engineering Dept. / Research Associate / Professor of Engineering Full Professor Cecil H. Green Professor Associate Director / Professor / Editorial Adviser / Managing Editor / Major / Professor of Computer Science / General Chair / Editor / Researcher / Scientist / Editor-in-Chief / Assistant Professor / Chair / Associate Editor / Fisher / Co-editor / head / Assistant / /
ProgrammingLanguage
Lambda Calculus / Lisp / /
ProvinceOrState
New York / Connecticut / Rhode Island / California / Colorado / Texas / A.B. / Queensland / Pennsylvania / /
PublishedMedium
Theoretical Computer Science / Theory of Computing / /