Login / Signup
The Presburger Award 2015 - Call for Nominations.
Peter Widmayer
Published in:
Bull. EATCS (2014)
Keyphrases
</>
presburger arithmetic
invited talk
data mining
data streams
expert systems
association rules
quantifier elimination