Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 121
Number of items: 121
  • Apt, K. R., Kakas, A. C., & Sadri, F. (2001). Editorial. ACM Transactions on Computational Logic, 2(4), 431-431.
  • 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.
  • 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). A Denotational Semantics For First-Order Logic. Lecture Notes in Computer Science, 1861, 53-69.
  • 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. (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., & 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