Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 39
Number of items: 39
  • Open Access
    de Haas, E. (2001). Logics for OO information systems: a semantic study of object orientation from a categorial substructural perspective. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Emde Boas, P. (2000). Games and Computer Science: several good reasons for Reind to play games after his retirement. In Liber Amicorum Reind P. van de Riet (pp. 49-56). CWI.
  • van Emde Boas, P. (2000). Objects, Interaction, Games, Complexity; a reminder from the 80-ies. In K. Baclawski, & H. Kilov (Eds.), Ninth OOPSLA workshop on Behavioral Semantics (pp. 62-66). Northeastern University.
  • Wiedermann, J., van Emde Boas, P., & Nielssen, M. (1999). Automata, languages and programming: 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999: proceedings. (Lecture notes in computer science; No. 1644). Springer. https://doi.org/10.1007/3-540-48523-6
  • van Emde Boas, P. (1998). Formalizing UML: Mission impossible. In A. Moreira (Ed.), Formalising UML: Why? How?. (pp. ---). (-; No. -). Oblog software Inc..
  • van Emde Boas, P., & Emde Boas, G. (1998). Compiling Horn-clause rules in IBM's Business System 12: An early eperiment in Declarativeness. In R. Branislav (Ed.), Theory and Practice in Informatics. Lecture Notes in Computer Science (pp. 68-88). (-; No. 1521). Springer.
  • Dastani, M. M. (1998). Languages of perception. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
  • van Emde Boas, P. (1997). Resistance is futile: observations on the formal linguistic status of design patterns. In OOPSLA'97
  • van Emde Boas, P. (1996). The convenience of tiling. In J. B. Yunes, & M. Margenstern (Eds.), Actes de MCU/UMC'95 - Proceedings of MCU/UMC'95 (pp. 38-70). (LITP; No. 96/31).
  • van Emde Boas, P. (1996). Computerspelen en de identificatie van objecten. Athenaeum Illustre, 8, 13-16.
Page 3 of 4