Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)

Activity: Lecture / PresentationAcademic

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