Size-Change Termination on Non-Wellfounded Data Types

Activity: Talk or presentation typesLecture and oral contribution

James Emil Avery - Lecturer

23 Sep 2005

Event (Conference)

TitleFirst DIKU-IST Joint Workshop on Foundations of Software (DIKU-IST I)
Date23/09/200523/09/2005
CityKøbenhavn
CountryDenmark

ID: 1245517