Items where Author is "van Emde Boas, Peter"

PP-2016-22: van Emde Boas, Peter and van Emde Boas-Lubsen, Ghica (2016) The Rules of Victorious Warriors. [Report]

IV-09: van Emde Boas, Peter (2015) Egghead betegelt badkamer (Valedictory). [Report]

HDS-11: van Emde Boas, Peter (2015) Abstract Resource-Bound Classes. Doctoral thesis, University of Amsterdam.

IV-08: van Emde Boas, Peter (2015) Ne Probentur Oracula (Inaugural). [Report]

PP-2013-16: van Emde Boas, Peter (2013) Thirty nine years of stratified trees. [Report]

PP-2011-36: van Emde Boas, Peter (2011) Turing Machines for Dummies: why representations do matter. [Report]

CT-1998-04: van Emde Boas-Lubsen, Ghica and van Emde Boas, Peter (1998) Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness. [Report]

X-1998-03: van Emde Boas, Peter (1998) Formalizing UML; Mission Impossible? [Report]

CT-1997-02: van Emde Boas, Peter (1997) Resistance is Futile; Formal Linguistic Observations on Design Patterns. [Report]

CT-1996-01: van Emde Boas, Peter (1996) The Convenience of Tilings. [Report]

CT-1994-08: Apt, Krzysztof R. and van Emde Boas, Peter and Welling, Angelo (1994) The STO-problem is NP-hard. [Report]

LP-1993-08: Huang, Zisheng and van Emde Boas, Peter (1993) Information Acquisition from Multi-Agent resources; abstract. [Report]

X-1992-05: de Haas, Erik and van Emde Boas, Peter (1992) Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01). [Report]

CT-1992-01: de Haas, Erik and van Emde Boas, Peter (1992) Object Oriented Application Flow Graphs and their Semantics (superseded by X-1992-05). [Report]

LP-1991-06: Huang, Zhisheng and van Emde Boas, Peter (1991) Belief Dependence, Revision and Persistence. [Report]

LP-1991-05: Huang, Zhisheng and van Emde Boas, Peter (1991) The Schoenmakers Paradox: Its Solution in a Belief Dependence Framework. [Report]

CT-1990-01: Tromp, John and van Emde Boas, Peter (1990) Associative Storage Modification Machines. [Report]

CT-1990-06: Smid, Michiel and van Emde Boas, Peter (1990) Dynamic Data Structures on Multiple Storage Media, a Tutorial. [Report]

X-1990-10: van Denneheuvel, Sieger and van Emde Boas, Peter (1990) An Overview of the Rule Language RL/1. [Report]

CT-1990-08: de Geus, Fred and Rotterdam, Ernest and van Denneheuvel, Sieger and van Emde Boas, Peter (1990) Physiological Modelling using RL. [Report]

X-1989-06: van Emde Boas, Peter (1989) Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project. [Report]

CT-1989-02: van Emde Boas, Peter (1989) Machine Models and Simulations. [Report]

CT-1989-03: Li, Ming and Neuféglise, Herman and Torenvliet, Leen and van Emde Boas, Peter (1989) On Space Efficient Simulation. [Report]

CT-1989-11: Huang, Zhisheng and van Denneheuvel, Sieger and van Emde Boas, Peter (1989) Towards Functional Classification of Recursive Query Processing. [Report]

CT-1988-05: van Emde Boas, Peter (1988) Machine Models and Simulations (revised version). [Report]

CT-1988-03: Smid, Michiel H.M. and Overmars, Mark H. and Torenvliet, Leen and van Emde Boas, Peter (1988) Maintaining Multiple Representations of Dynamic Data Structures. [Report]

CT-1988-08: Smid, Michiel H.M. and Overmars, Mark H. and Torenvliet, Leen and van Emde Boas, Peter (1988) Multiple Representations of Dynamic Data Structures. [Report]

CT-1988-10: Spaan, Edith and Torenvliet, Leen and van Emde Boas, Peter (1988) Nondeterminism, Fairness and a Fundamental Analogy. [Report]

CT-1988-11: van Denneheuvel, Siger and van Emde Boas, Peter (1988) Towards implementing RL. [Report]

ITLI-1986-02: van Emde Boas, Peter (1986) A Semantical Model for Integration and Modularization of Rules. [Report]

PP-2019-22: van Emde Boas, Peter and van Emde Boas-Lubsen, Ghica (2019) The Rules of Victorious Warriors - revised version. [Pre-print] (In Press)

PP-2019-23: van Emde Boas-Lubsen, Ghica and Zhao, Bonan and van Emde Boas, Peter (2019) Sun Tzu and the Rules of Victorious Warriors; Analysing the rules of Sun Tzu using Mind maps. [Pre-print]