Proving Termination of Logic Programs with Cut

Schneider-Kamp, P. (Foredragsholder)

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

Periode15. okt. 2009
Sted for afholdelseNordic Workshop on Porgramming Theory (NWPT '09)
BegivenhedstypeKonference
Konferencenummer21
PlaceringKøbenhavn, Danmark