uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Emde Boas - Lubsen, Ghica, Zhao, Bonan, van Emde Boas, P. (2019) Sun Tzu and the rules of Victorious Warriors; Analyzing the rules of Sun Tzu using Mind Maps.
  • van Emde Boas, P., Emde Boas, G. (1998) Compiling Horn-clause rules in IBM's Business System 12: An early eperiment in Declarativeness.
    In Branislav, R. (Eds.), Theory and Practice in Informatics. Lecture Notes in Computer Science (pp 68-88) (-). Springer.
    Chapter | UvA-DARE
  • van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (2013) SOFSEM 2013: Theory and Practice of Computer Science.
    Lecture Notes in Computer Science, Vol. 7741. Springer.
  • van Emde Boas, P., Groen, F.C.A., Italiano, G.F., Nawrocki, J., Sack, H. (2013) SOFSEM 2013: Theory and Practice of Computer Science: 39th conference on current trends in theory and practice of computer science: Špindlerův Mlýn, Czech Republic, January 26-31, 2013: proceedings. - Volume II.
    Institute of Computer Science AS CR.
    Book (Editorship) | UvA-DARE
  • 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. Springer.
    Book (Editorship) | UvA-DARE
  • 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.
    Book (Editorship) | UvA-DARE
  • van Emde Boas, P., van Emde Boas - Lubsen, Ghica, Xie, K., Zhao, B. (2022) Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps.
    Logic in Asia: Studia Logica Library. Springer.
  • van Emde Boas, P., van Emde Boas, E. (1999) The Game of Chaos. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK; Essays dedicated to Johan van Benthem on the Occasion of his 50th birthday.
    ILLC.
    Digital or Visual Products | UvA-DARE
  • van Emde Boas, P., van Mill, J., Wiegerinck, J. (2021) Inspirerende hoogleraar zuivere wiskunde met hart voor onderwijs en studenten: In Memoriam Aïda Beatrijs Paalman-de Miranda (1936–2020).
    Nieuw Archief voor Wiskunde, Vol. 5/22 (pp 113-114)
  • van Emde Boas, P. (1994) The full non-renameability result; a lost tale.
    In Schrijver, A. Apt, K.R. Temme, N. (Eds.), From Universal morphisms to megabytes: a Baayen spacre Odyssey (pp 301-309). CWI.
    Chapter | UvA-DARE
  • van Emde Boas, P. (1996) Computerspelen en de identificatie van objecten.
    Athenaeum Illustre, Vol. 8 (pp 13-16)
    Article | UvA-DARE
  • van Emde Boas, P. (1996) The convenience of tiling.
    In Yunes, J.B. Margenstern, M. (Eds.), Actes de MCU/UMC'95 - Proceedings of MCU/UMC'95 (pp 38-70) (LITP)
    Chapter | UvA-DARE
  • van Emde Boas, P. (1996) The Convenience of Tiling.
    ILLC Report Series. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Emde Boas, P. (1997) The Convenience of Tiling.
    London Mathematical Society lecture note series, Vol. 187 (pp 331-363)
    Article | UvA-DARE
  • van Emde Boas, P. (1997) Informatics, stelling met toelichting.
    In Dagschrift; 365 jaar Universiteit van Amsterdam (pp 113-114). Amsterdam University Press.
    Chapter | UvA-DARE
  • van Emde Boas, P. (1997) Resistance is futile; formal linguistic observations on design patterns.
    Technical Report. onbekend (FdL).
    Report | UvA-DARE
  • van Emde Boas, P. (1997) Resistance is futile: observations on the formal linguistic status of design patterns.
    In OOPSLA'97
    Chapter | UvA-DARE
  • van Emde Boas, P. (1997) L.e.j. brouwer als alien.
    Folia (pp 10)
    Article | UvA-DARE
  • van Emde Boas, P. (1998) Formalizing UML: Mission impossible.
    In Moreira, A. (Eds.), Formalising UML: Why? How?. (pp ---) (-). Oblog software Inc..
    Chapter | UvA-DARE
  • van Emde Boas, P. (1998) Agent technology: between hype and logic.
    Logic in the Netherlands (pp 4-6)
    Article | UvA-DARE
1 ... 274 275 276 277 278 279 280 281 282 ... 311

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