Login / Signup

Baba is You is Undecidable.

Jonathan Geller
Published in: CoG (2023)
Keyphrases
  • sufficient conditions
  • np complete
  • datalog programs
  • machine learning
  • data sets
  • cooperative
  • data analysis