Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 39
Number of items: 39
  • Adriaans, P., & van Emde Boas, P. (2011). Computation, information and the arrow of time. In S. Barry Cooper, & A. Sorbi (Eds.), Computability in Context; Computation and Logic in the Real World (pp. 1-17). Imperial College Press.
  • Open Access
    Kurzen, L. M. (2011). Complexity in interaction. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Smeets, I., Lenstra, A., Lenstra, H., Lovász, L., & van Emde Boas, P. (2010). The history of the LLL-algorithm. In P. Q. Nguyen, & B. Vallée (Eds.), The LLL Algorithm: Survey and Applications (pp. 1-17). (Information Security and Cryptography : Texts and Monographs). Springer. https://doi.org/10.1007/978-3-642-02295-1_1
  • van Emde Boas, P. (2010). Playing Savitch and Cooking games. In D. Dams, U. Hannemann, & M. Steffen (Eds.), Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever (pp. 10-21). (Lecture Notes in Computer Science; No. 5930). Springer. https://doi.org/10.1007/978-3-642-11512-7_2
  • van Emde Boas, P. (2007). A tale of two papers. In P. Nguyen (Ed.), Proceedings LLL + 25 (pp. 5-7).
  • Open Access
    Sevenster, M. (2006). Branches of imperfect information : logic, games, and computation. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
  • van Emde Boas, P., Pokorny, J., Bielikova, M., & Stuller, J. (2004). SOFSEM 2004, Theory and Practice of Computer Science; 30-th Conference on current trends in Theory and Practice of Computer Science, Mrein, Czech republic, January 2004. (Lecture Notes in Computer Science; No. 2932). Springer.
  • van Emde Boas, P., Pokorny, J., Bielikova, M., & Stuller, J. (2004). SOFSEM 2004: Theory and Practice of Computer Science; 30th Conference on current Trends in Theory and Practice of Computer Science, Merin, Czech republic, January 2004; proceedings Volume II. Matfyz Press.
  • van Emde Boas, P. (2003). Games, complexity and interaction; the role of games in computer science. In H. Kilov, & K. Baclawski (Eds.), Practical Foundations of Business System Specifications (pp. 313-327). Kluwer.
  • Open Access
    von Engelhardt, J. (2002). The language of graphics. [Thesis, fully internal, Universiteit van Amsterdam].
Page 2 of 4