Size-Change Termination and Bound Analysis

Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

Beskrivelse

Bibliografisk note: Tre timers foredrag og diskussion.
Periode16 jul. 2007
BegivenhedstitelSize-Change Termination and Bound Analysis
BegivenhedstypeKonference
ArrangørPatrick Baillot, LIPN
PlaceringLIPN, Université Paris-Nord, Frankrig