Login / Signup

2022 Alonzo Church Award Announcement.

Dexter Kozen
Published in: ACM SIGLOG News (2022)
Keyphrases
  • real world
  • selected papers
  • invited talk
  • machine learning
  • web services