The Presburger Award 2014 - Call for Nominations.

Antonín Kucera

Published in: Bull. EATCS (2013)

Keyphrases

presburger arithmetic
information systems
computational complexity
software engineering
selected papers
invited talk
databases
real world
artificial intelligence
data streams
quantifier elimination