WFLP 2018, The 26th International Workshop on Functional and Logic Programming

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

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

Beskrivelse

Workshop participation giving talk "Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs"; paper accepted for publication in post-workshop proceedings
Periode6 sep. 2018
BegivenhedstypeKonference
Konferencenummer26
PlaceringFrankfurt, Tyskland
Grad af anerkendelseInternational