For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
van Emde Boas, P., van Emde Boas, G., 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. https://doi.org/10.1007/978-981-19-6250-9[details]
2014
van Emde Boas, P. (2014). Theory-of-mind reasoning in Ancient China. In J. Szymanik, & R. Verbrugge (Eds.), 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). 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). 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). 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]
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. 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). 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). 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]
2022
van Emde Boas, P. (2022). In Memoriam Theodorus Jozef Dekker (1927-2021): Vooraanstaand numeriek wiskundige, en informaticus van het eerste uur. Nieuw Archief voor Wiskunde, 5/23(3), 181-188. [details]
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, 5/22(2), 113-114. https://www.nieuwarchief.nl/serie5/pdf/naw5-2021-22-2-113.pdf[details]
2019
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.
Journal editor
van Emde Boas, P. (editor) (2011). Information and Computation (Journal).
The UvA uses cookies to ensure the basic functionality of the site and for statistical and optimisation purposes. Cookies are also placed to display third-party content and for marketing purposes. Click 'Accept all cookies' to consent to the placement of all cookies, or choose 'Decline' to only accept functional and analytical cookies. Also read the UvA Privacy statement.