Size-Change Termination on Non-Wellfounded Data Types

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

Periode23 sep. 2005
BegivenhedstitelFirst DIKU-IST Joint Workshop on Foundations of Software (DIKU-IST I)
BegivenhedstypeKonference
Konferencenummer1
ArrangørDatalogisk Institut, Københavns Universitet
PlaceringKøbenhavn, DanmarkVis på kort