8 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Dexter Kozen

  1. Cover: Logic, Language, Information, and Computation - Springer
    Dexter Kozen | Ruy de Queiroz
    Logic, Language, Information, and Computation
    31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
    07/2025
    Springer
    9783031995361 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Mathematics of Program Construction - Springer
    Dexter Kozen | Carron Shankland
    Mathematics of Program Construction
    7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    09/2004
    Springer
    9783540277644 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Logic, Language, Information, and Computation - Springer
    Dexter Kozen | Ruy de Queiroz
    Logic, Language, Information, and Computation
    31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
    08/2025
    Springer
    9783031995354 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  4. Cover: Mathematics of Program Construction - Springer
    Dexter Kozen | Carron Shankland
    Mathematics of Program Construction
    7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    06/2004
    Springer
    9783540223801 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Dynamic Logic - MIT Press
    David Harel | Dexter Kozen | Jerzy Tiuryn
    Dynamic Logic
    11/2000
    MIT Press
    9780262082891 (ISBN)
    Book
    Hardback
    Other editions
    €51.94
    No shipping information available
  6. Cover: Dynamic Logic - MIT Press
    David Harel | Dexter Kozen | Jerzy Tiuryn
    Dynamic Logic
    09/2000
    MIT Press
    9780262527668 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €54.80
    Exhausted; check different version
  7. This image is currently not available.
    Dexter Kozen
    Theory of Computation
    12/2007
    Springer
    9788181286963 (ISBN)
    Book
    Paperback/Softback
    €53.41
    Article not available
  8. This image is currently not available.
    Dexter Kozen | Dexter Kozen
    Logic in Computer Science: LICS 95 10th
    Symposium Proceedings
    06/1995
    IEEE Computer Society Press,U.S.
    9780818670503 (ISBN)
    Book
    Paperback/Softback
    €134.45
    Article not available for order