Login / Signup

The Ackermann Award 2016.

Thierry CoquandAnuj Dawar
Published in: CSL (2016)
Keyphrases
  • selected papers
  • invited talk
  • artificial intelligence
  • information systems
  • future directions