Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 121
Number of items: 121
  • 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.
  • Apt, K. R., Kakas, A. C., & Sadri, F. (2001). Editorial. ACM Transactions on Computational Logic, 2(4), 431-431.
  • Apt, K. R. (2000). The Role of Commutativity in Constraint Propagation Algorithms. ACM Transactions on Programming Languages and Systems, 22(6), 1002-1036. https://doi.org/10.1145/371880.371884
  • Apt, K. R. (2000). A Denotational Semantics For First-Order Logic. Lecture Notes in Computer Science, 1861, 53-69.
  • Apt, K. R. (2000). Some Remarks on Boolean Constraint Propagation. In New Trends in Constraints (pp. 91-107). (Lecture Notes in Artificial Intelligence; No. 1865). Springer Verlag.
  • Apt, K. R. (2000). Editorial. ACM Transactions on Computational Logic, 1(1), 1-2.
  • Apt, K. R., Kakas, A. C., Monfroy, E., & Rossi, F. (2000). New Trends in Constraints, Lecture Notes in Artificial Intelligence 1865. Springer Verlag.
  • Apt, K. R., & Schaerf, A. (1999). Programming in Alma-0, or Imperative and Declarative Programming Reconciled. In D. M. Gabbay, & M. de Rijke (Eds.), Frontiers of Combining Systems 2 (pp. 1-16). Research Studies Press Ltd.
  • Apt, K. R., Brunekreef, J. J., Partington, V., & Schaerf, A. (1998). Alma-0 : An imperative language that supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5), 1014-1066.
Page 9 of 13