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

Christiansen, H. (Taler), Kirkeby, M. H. (Taler)

Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation 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

Relateret indhold

Projekter

Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Projekter: Projekt › Forskning