van Emde Boas, P. (2014). Theory-of-mind reasoning in Ancient China. In J. Szymanik, & R. Verbrugge (Eds.), RAOM 2014 : Reasoning About Other Minds: Logical and Cognitive Perspectives: proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014 (pp. 6-10). (CEUR Workshop Proceedings; Vol. 1208). CEUR-WS. http://ceur-ws.org/Vol-1208/paper2.pdf[details]
van Emde Boas, P. (2013). Thirty nine years of stratified trees. In I. Capuni, L. Georgiadis, & O. Altun (Eds.), Proceedings 2nd International Symposium on Computing in Informatics and Mathematics (ISCIM'13) (pp. 1-14)
2012
van Emde Boas, P. (2012). Travelling with Dexter Kozen. In R. L. Constable, & A. Silva (Eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp. 342-351). (Lecture Notes in Computer Science; Vol. 7230). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-29485-3_31[details]
van Emde Boas, P. (2012). Turing Machines for dummies: why representations do matter. In M. Bieliková, G. Friedrich, G. Gottlob, S. Katzenbeisser, & G. Turán (Eds.), SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012: proceedings (pp. 14-30). (Lecture Notes in Computer Science; Vol. 7147). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-27660-6_2[details]
2011
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. [details]
2010
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[details]
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). Berlin: Springer. https://doi.org/10.1007/978-3-642-11512-7_2[details]
2007
van Emde Boas, P. (2007). A tale of two papers. In P. Nguyen (Ed.), Proceedings LLL + 25 (pp. 5-7). Caen. [details]
2021
van Emde Boas, P., van Mill, J., & Wiegerinck, J. (2021). In Memoriam Aïda Beatrijs Paalman-de Miranda (1936–2020): Inspirerende hoogleraar zuivere wiskunde met hart voor onderwijs en studenten. Nieuw Archief voor Wiskunde, 5/22(2), 113-114. [details]
2017
van Emde Boas, P. (2017). Working With the Bulletin Editor. In S. Azimi, H. J. Hoogeboom, J. Kleijn, M. van der Nat, I. Petre, & A. Salomaa (Eds.), A Magician in Science: Liber Amicorum Gzegorz Rozenberg (pp. 109). Turku Centre for Computer Science.
2013
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. Prague: Institute of Computer Science AS CR. [details]
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). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-35843-2[details]
2004
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). Berlin: Springer. [details]
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. Prague: Matfyz Press. [details]
van Emde Boas - Lubsen, G., Zhao, B., & van Emde Boas, P. (2019). Sun Tzu and the rules of Victorious Warriors; Analyzing the rules of Sun Tzu using Mind Maps. 1-31. Paper presented at Making of the Humanities VII, Amsterdam, Netherlands. https://eprints.illc.uva.nl/id/document/10220
2014
van Emde Boas, P. (2014). Victorious Warriors; Strategic theory and logic in ancient China, preliminary draft outline. Paper presented at The Third International Conference on the History of Logic in China, Tianjin, China.
Tijdschriftredactie
van Emde Boas, P. (editor) (2011). Information and Computation (Journal).
De UvA maakt gebruik van cookies en daarmee vergelijkbare technieken voor het functioneren, meten en optimaliseren van de website. Ook worden er cookies geplaatst om bijv. YouTube filmpjes te kunnen tonen en voor marketingdoeleinden. Deze laatste categorie betreffen de tracking cookies. Uw internetgedrag kan worden gevolgd door middel van deze tracking cookies. Door op “Accepteer alle cookies” te klikken gaat u hiermee akkoord. Lees ook het UvA Privacy statement
Noodzakelijk
Cookies noodzakelijk voor het basisfunctioneren van de website. Deze cookies worden bijvoorbeeld ingezet om het inloggen voor studenten en medewerkers mogelijk te maken.
Noodzakelijk & Optimalisatie
Cookies die worden geplaatst om anoniem gegevens te verzamelen over het gebruik van de website om deze te verbeteren.
Noodzakelijk & Optimalisatie & Marketing
Cookies die in staat stellen bezoekers te volgen en van gepersonaliseerde advertenties te voorzien. Externe advertentienetwerken verzamelen individuele gegevens over internetgedrag. Selecteer deze categorie om YouTube video's te kunnen kijken.