Regularity-Preserving but not Reflecting Encodings

  • C.A. Grabmayer (Speaker)

Activity: Lecture / Presentation › Academic

Period9 Jul 2015
Event titleThirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015)
Event typeConference