-
Apt, K.R., Zoeteweij, P. (2007) An Analysis of Arithmetic Constraints on Integer Intervals.Constraints, Vol. 12 (pp 429-468)Article | https://doi.org/10.1007/s10601-007-9017-9 | UvA-DARE
-
Apt, K.R., Zvesper, J.A. (2010) The role of monotonicity in the epistemic analysis of strategic games.Games, Vol. 1 (pp 381-394)Article | https://doi.org/10.3390/g1040381 | UvA-DARE
-
Apt, K.R. (1995) Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming.In Sessa, M.I. Alpuente Frasnedo, M. (Eds.), 1995 Joint Conference on Declarative Programming (GULP-PRODE '95) (pp 19-35). University of Salerno, Italy.Chapter | UvA-DAREApt, K.R. (1998) Formulas as programs.PNA. WINS (oud WINS).Report | UvA-DAREApt, K.R. (1998) Alma-O: An Imperative Language that supports declarative programming.ACM Transactions on Programming Languages and Systems, Vol. 20 (pp 1014-1066)Article | UvA-DAREApt, K.R. (1998) Special Issue: foundations of constraint programming.Fundamenta Informaticae, Vol. 34 (pp ---)Article | UvA-DAREApt, K.R. (1998) CWI Quarterly: Special issue on constraints.-. CWI.Book | UvA-DAREApt, K.R. (1998) View of constraint programming.Fundamenta Informaticae, Vol. 33 (pp 263-293)Article | UvA-DAREApt, K.R. (2000) Some Remarks on Boolean Constraint Propagation.In New Trends in Constraints (pp 91-107) (Lecture Notes in Artificial Intelligence). Springer Verlag.Chapter | UvA-DAREApt, K.R. (2000) A Denotational Semantics For First-Order Logic.Lecture Notes in Computer Science, Vol. 1861 (pp 53-69)Article | UvA-DAREApt, K.R. (2000) Editorial.ACM Transactions on Computational Logic, Vol. 1 (pp 1-2)Article | UvA-DAREApt, K.R. (2000) The Role of Commutativity in Constraint Propagation Algorithms.ACM Transactions on Programming Languages and Systems, Vol. 22 (pp 1002-1036)Article | https://doi.org/10.1145/371880.371884 | UvA-DAREApt, K.R. (2001) Towards Free Access to Scientific Literature.Nieuw Archief voor Wiskunde, Vol. 5/2 (pp 251-255)Apt, K.R. (2001) One More Revolution to Make: Free Scientific Publishing.Communications of the ACM, Vol. 44 (pp 25-28)Article | UvA-DAREApt, K.R. (2002) Edsger Wybe Dijkstra (1930 - 2002): A portrait of a genius''.Formal Aspects of Computing, Vol. 14 (pp 92-98)Article | UvA-DAREApt, K.R. (2002) The logic programming paradigm and Prolog.In Mitchell, J. (Eds.), Concepts in Programming Languages (pp 475-507). Cambridge University Press.Chapter | UvA-DAREApt, K.R. (2002) [Review of: Mordechai Ben-Ari. Mathematical Logic for Computer science].Theory and Practice of Logic Programming, Vol. 2 (pp 123-124)Book/Film/Article/Exhibition review | UvA-DAREApt, K.R. (2003) Principles of Constraint Programming.Cambridge University Press.Book | UvA-DAREApt, K.R. (2004) Uniform Proofs of Order Independence for Various Strategy Elimination Procedures.Contributions to Theoretical Economics, Vol. 4 (pp 1-48)Apt, K.R. (2005) Explaining Constraint Programming.In Middeldorp, A. van Oostrom, V. van Raamsdonk, F. de Vrijer, R. (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity (pp 55-69) (Lecture Notes in Computer Science). Springer Verlag.Chapter | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl