Skip to search formSkip to main contentSkip to account menu

Peter van Emde Boas

Peter van Emde Boas (born 3 April 1945, Amsterdam) is a Dutch computer scientist and professor at the University of Amsterdam. He gained his… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Algorithm characterizationsComputer scientistCounter machinePointer machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Preface
2016
2016
Provably sound semantics stack for multi-core system programming with kernel threads
Operating systems and hypervisors (e.g., Microsoft Hyper-V) for multi-core processor architectures are usually implemented in… 
2015
2015
A theory of generalized pied-piping
Title of dissertation: A Theory of Generalized Pied-Piping Sayaka Funakoshi, Doctor of Philosophy, 2015 Dissertation directed by… 
2014
2014
Belief as Willingness to Bet
We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic… 
2013
2013
Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract)
In the theory of discrete-time dynamical systems, one studies the limiting behaviour of processes defined by iterating a fixed… 
2006
2006
On The Computational Consequences of Independence in Propositional Logic
Sandu and Pietarinen [Partiality and Games: Propositional Logic. Logic J. IGPL9 (2001) 101] study independence friendly… 
2005
2005
Finite model theory for partially ordered connectives
The invention provides an apparatus and method for heating a vessel having a vessel bottom and at least one vessel side wall. The… 
1993
1993
Resource bounded reductions
Acknowledgments First I would like to thank my promotores and Steven Homer and Peter van Emde Boas. Steve invited me in a very… 
1991
1991
A Complete Logic for Autoepistemic Membership
The driving force behind the theory of non-monotonic reasoning is the wish to draw conclusions in the face of missing information… 
Review
1988
Review
1988
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988
Although epistemology, the study of knowledge, has a long and honorable tradition in philosophy, starting with the Greeks, the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)