Proving Termination for Logic Programs with Cut

Schneider-Kamp, P. (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Periode5. jun. 2009
Sted for afholdelseInternational Workshop on Termination (WST '09)
BegivenhedstypeKonference
Konferencenummer10
PlaceringLeipzig, Tyskland