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

Christiansen, H. (Taler), Maja Hanne Kirkeby (Taler)

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. 2018 - 6 sep. 2018
BegivenhedstypeKonference
Konferencenummer28
PlaceringFrankfurt am Main, Tyskland
Grad af anerkendelseInternational