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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2016
01219942016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
This note is not to be misunderstood as a general obituary touching all of the many facets of Barry’s personality: the teacher… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2006
Review
2006
In this paper, we study the game-theoretic and computational repercussions of Henkin’s partially ordered quantifiers [19]. After… (More)
Is this relevant?
2006
2006
In the present article a study of the finite model theory of Henkin quantifiers with boolean variables [5], a.k.a. partially… (More)
Is this relevant?
1998
1998
ix Acknowledgments I am very grateful to my supervisors, Remko Scha, Peter van Emde Boas and Bipin Indurkhya, for their… (More)
  • figure 3.12
  • figure 4.4
Is this relevant?
1994
1994
Edward Cuoughlin edwardc@netcom.com Frank Coyle email: cozle@seas.smu.edu Dennis dechampeaux ddc@netcom.com Jiri Dvorak dvorak… (More)
Is this relevant?