Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 121
Number of items: 121
  • 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. (2003). Principles of Constraint Programming. Cambridge University Press.
  • 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. R., & Monfroy, E. (2001). Constraint Programming viewed as Rule-based Programming. Theory and Practice of Logic Programming, 1(6), 713-750. https://doi.org/10.1017/S1471068401000072
  • Apt, K. R., & Smaus, J. (2001). ``Rule-based versus Procedure-based View of Programming''. Joint Bulletin of the Novosibirsk Computing Center and Institute of Information Systems, 16, 75-97.
Page 8 of 13