Login / Signup
2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
Javier Esparza
Published in:
Bull. EATCS (2021)
Keyphrases
</>
logic programming
artificial intelligence
classical logic
real world
modal logic
data sets
databases
data structure
relational databases
artificial neural networks
invited talk
computational properties
formal theory