All Stories

  1. Separating LREC from LFP

    Article • August 2022, ACM (Association for Computing Machinery)

    Anuj Dawar, Felipe Ferreira Santos