LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Beskrivelse

Conference participation with talk: "Confluence of CHR revisited: invariants and modulo equivalence"; paper accepted for post-proceedings (to appear 2019)
Periode4 sep. 20186 sep. 2018
BegivenhedstypeKonference
Konferencenummer28
PlaceringFrankfurt am Main, Tyskland
Grad af anerkendelseInternational