Size-Change Termination and Bound Analysis

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

Periode20 okt. 2005
BegivenhedstitelThe 17th Nordic Workshop on Programming Theory (NWPT'05)
BegivenhedstypeKonference
PlaceringKøbenhavn, DanmarkVis på kort