Machine models and simulations / by Peter van Emde BoasSpace measures for storage modification machines / by Peter van Emde BoasRL, a language for enhanced rule based database processing : working document / Peter van Emde BoasA note on the recursive enumerability of some classes of recursively enumerable languages ; prepublication / Peter van Emde Boas, Paul Michael Béla VitányiMachine models and simulations / Peter van Emde BoasMachine Models and Simulations / Peter van Emde BoasPreserving order in a forest in less than logaritmic time : prepublication / P. van Emde BoasThe truncated-average limit and the Cesaro limit / P. van Emde BoasThe convenience of tilings / Peter van Emde BoasResistance is futile : formal linguistic observations on design patterns / Peter van Emde BoasAbstract resource-bound classes / door Peter van Emde BoasNe probentur oracula / door P. van Emde BoasLeast fixed points and the recursion theorem / P. van Emde BoasSome applications of the Meyer-McCreight algorithm in abstract complexity theory / P. van Emde BoasEach complete bipartite graph minus a matching is representable by line segments / P. van Emde Boas, T.M.V. Janssen & A. SchrijverDesign and implementation of an efficient priority queue / P. van Emde Boas, R. Kaas & E. ZijlstraDominoes are forever / by P. van Emde BoasThe second machine class / by Peter van Emde BoasThe second machine class / Peter van Emde BoasA semantical model for integration and modularization of rules / Peter van Emde BoasA semantical model for integration and modularization of rules / Peter van Emde Boas
author
The problem of space invariance for sequential machines / Cees Slot & Peter van Emde BoasSimplicty, immunity, relativizations and non-determinism / by Leen Torenvliet and Peter van Emde BoasThe power of your editor / by Robert A. Stegwee, Leen Torenvliet, Peter van Emde BoasNondeterminism, fairness and a fundamental analogy / Edith Spaan, Leen Torenvliet, Peter van Emden BoasTowards implementing RL / Sieger van Denneheuvel, Peter van Emden BoasAssociative storage modification machines / J.T. Tromp, P. van Emde BoasAre polynomial algorithms really good? / Jac.M. Anthonisse and P. van Emde BoasA sharpened version of the Aanderaa-Rosenberg conjecture / M. Best, P. van Emde Boas [and] H.W. Lenstra jrSome elementary proofs of lower-bounds in complexity theory / by J. van Leeuwen and P. van Emde BoasThe Schoenmakers paradox : its solution in a belief dependence framework / Zhisheng Huang, Peter van Emde BoasBelief dependence, revision and persistence / Zhisheng Huang, Peter van Emde BoasObject oriented application flow graphs and their semantics / Erik de Haas, Peter van Emde Boas" Is er nog nieuws?" : aangeboden aan Prof. Dr Th.J. Dekker / verz. door P. van Emde Boas [et al.]Information acquisition from multi-agent resources : abstract / Zhisheng Huang and Peter van Emde BoasThe STO-problem is NP-hard / Krzysztof R. Apt, Peter van Emde Boas and Angelo WellingThe STO-problem is NP-hard / K.R. Apt, P. van Emde Boas, A. WellingCompiling Horn-clause rules in IBM's business system 12 : an early experiment in declarativeness / Ghica van Emde Boas-Lubsen, Peter van Emde BoasEen pak met een korte broek : papers presented to H.W. Lenstra, Jr. : on the occasion of the publication of his "Euclidische getallenlichamen" / ed. by P. van Emde Boas ... [et al.]Interfaces between computer science and operations research : proceedings of a symposium held at the Mathematisch Centrum, Amsterdam, September 7-10, 1976 / ed. by J.K. Lenstra, A.H.G. Rinnooy Kan [and] P. van Emde BoasOn the proper treatment of referencing, dereferencing and assignment / T.M.V. Janssen & P. van Emde BoasThe expressive power of intensional logic in the semantics of programming languages / T.M.V. Janssen & P. van Emde BoasColloquium complexiteit en algoritmen / red. P.M.B. Vitányi, J. van Leeuwen, P. van Emde BoasAn appraisal of computational complexity for operations researchers / J.K. Lenstra, A.H.G. Rinnooy Kan, P. van Emde BoasColloquium complexiteit en algoritmen / P.M.B. VitányiOn tape versus core : an application of space efficient hash functions to the invariance of space / by C. Slot & P. van Emde BoasThe reconstruction and optimization of trie hashing functions / by Leen Torenvliet & P. van Emde BoasBounded tiling, an alternative to satisfiability? / M.W.P. Savelsbergh, P. van Emde BoasCompositionality of meaning in logic and computer science / by Theo M.V. Janssen and Peter van Emde BoasTwo results on tables / by Christiaan T.M. Jacobs & 3001Diagonalisation methods and the separation of relativized complexity classes / by Leen Torenvliet & Peter van Emde BoasDiagonalisation methods in a polynomial setting / by L. Torenvliet & P. van Emde BoasDiagonalisation methods in a polynomial setting / by Leen Torenvliet & Peter van Emde Boas