Size-Change Termination and Bound Analysis
Activity: Talk or presentation types › Lecture and oral contribution
James Emil Avery - Lecturer
20 Oct 2005
Event (Conference)
| Title | The 17th Nordic Workshop on Programming Theory (NWPT'05) |
|---|---|
| Date | 20/10/2005 → 20/10/2005 |
| City | København |
| Country/Territory | Denmark |
ID: 1245473