Size-Change Termination on Non-Wellfounded Data Types
Activity: Talk or presentation types › Lecture and oral contribution
James Emil Avery - Lecturer
23 Sep 2005
Event (Conference)
| Title | First DIKU-IST Joint Workshop on Foundations of Software (DIKU-IST I) |
|---|---|
| Date | 23/09/2005 → 23/09/2005 |
| City | København |
| Country/Territory | Denmark |
ID: 1245517