Size-Change Termination on Non-Wellfounded Data Types

Activity: Talk or presentation types › Lecture and oral contribution

Period23 Sept 2005
Event titleFirst DIKU-IST Joint Workshop on Foundations of Software (DIKU-IST I)
Event typeConference
Conference number1
OrganiserDatalogisk Institut, Københavns Universitet
LocationKøbenhavn, DenmarkShow on map