Showing 1 - 9 results of 9 for search 'Apt, Krzysztof', query time: 0.03s Refine Results
  1. 1
    Verification of sequential and concurrent programs
    by Apt, Krzysztof
    Published 1997
    Book
  2. 2
    Verification of Sequential and Concurrent Programs
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    From logic programming to prolog
    Published 1997
    Other Authors: “…Apt, Krzysztof…”
    Book
  4. 4
    The logic programming paradigm A 25-year perspective
    Published 1999
    Other Authors: “…Apt, Krzysztof…”
    Book
  5. 5
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
    Published 2011
    Other Authors: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Logics and models of concurrent systems /
    Published 1985
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Conference Proceeding Book
  7. 7
    Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
    Other Authors: “…Apt, Krzysztof…”
    Book
  8. 8
    New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /
    Published 2000
    Other Authors: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    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 /
    Published 2004
    Other Authors: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search