The Dependency Triple Framework for Termination of Logic Programs

Schneider-Kamp, P. (Foredragsholder)

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

Periode10. sep. 2009
BegivenhedstitelInternational Symposium on Logic-Based Program Synthesis and Transformation
BegivenhedstypeKonference
Konferencenummer19
PlaceringCoimbra, Portugal