Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 121
Number of items: 121
  • Apt, K. R. (2003). Principles of Constraint Programming. Cambridge University Press.
  • Apt, K. R., & Brand, S. (2003). Schedulers for rule-based constraint programming. In Proceedings of ACM Symposium on Applied Computing (SAC) (pp. 14-21). ACM.
  • Apt, K. R., & Zoeteweij, P. (2003). A comparative study of arithmetic constraints on integer intervals. In Proceedings of the 2003 ERCIM/Colognet Workshop on Constraints MTA SZTAKI.
  • Apt, K. R. (2002). Edsger Wybe Dijkstra (1930 - 2002): A portrait of a genius''. Formal Aspects of Computing, 14(2), 92-98.
  • Apt, K. R., & Vermeulen, C. F. M. (2002). First-order logic as a constraint programming language. Lecture Notes in Computer Science, 2514, 19-35. https://doi.org/10.1007/3-540-36078-6_2
  • Apt, K. R. (2002). The logic programming paradigm and Prolog. In J. Mitchell (Ed.), Concepts in Programming Languages (pp. 475-507). Cambridge University Press.
  • Apt, K. R. (2002). [Review of: Mordechai Ben-Ari. Mathematical Logic for Computer science]. Theory and Practice of Logic Programming, 2(1), 123-124.
  • Open Access
    Gennari, R. (2002). Mapping Inferences: Constraint Propagation and Diamond Satisfaction. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC Dissertation Series DS-2002-05.
  • Apt, K. (2001). Towards Free Access to Scientific Literature. Nieuw Archief voor Wiskunde, 5/2(3), 251-255. http://www.nieuwarchief.nl/serie5/toonnummer.php?deel=02&nummer=3&taal=0
  • Apt, K. R. (2001). One More Revolution to Make: Free Scientific Publishing. Communications of the ACM, 44(5), 25-28.
Page 8 of 13