The 26th International Workshop on Functional and Logic Programming

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, TysklandVis på kort
Grad af anerkendelseInternational