Home Advanced Search

Advanced Search - Page 1

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.)
Logics and Models of Concurrent Systems
  • PDF
  • English
  • Year: 1985
  • Author: E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
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.)
Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (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.)
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers
  • PDF
  • English
  • Year: 2004
  • Author: Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
search