Home Advanced Search

Advanced Search - Page 1

Logic of Programs: Workshop, ETH Zürich, May–July 1979
  • PDF
  • English
  • Year: 1981
  • Author: Dexter Kozen (auth.), Erwin Engeler (eds.)
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Greg Nelson (auth.), Dexter Kozen (eds.)
Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Dexter Kozen (auth.), P. S. Thiagarajan (eds.)
The Combinatory Programme
  • PDF
  • English
  • Year: 1995
  • Author: Erwin Engeler (auth.)
Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics
  • PDF
  • English
  • Year: 1993
  • Author: Erwin Engeler (auth.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
  • PDF
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)
Automata and Computability
  • PDF
  • English
  • Year: 2012
  • Author: Dexter C. Kozen
Automata and Computability (Undergraduate Texts in Computer Science)
  • PDF
  • English
  • Year: 2012
  • Author: Dexter C. Kozen
search