=: SOFSEM 08 := | Abstract/Details of Paper

Current Trends in Theory and Practice of Computer Science

›	Home
›	Photo Gallery
›	Print-Outs
›	Location (Venue)
›	Getting There
›	Invited Speakers
›	Accepted Papers
›	Timetable and Presentations
›	Participants
›	Profile and Topics
›	Program Committee
›	Steering Committee
›	Organization
›	Previous SOFSEMs
›	Sponsors
›	Contact

Contributed Paper
Foundations of Computer Science

Monday, January 21, 18:00 - 18:25

Adam Koprowski and Hans Zantema

Certification of proving termination of term rewriting by matrix interpretations

Presentation (786 kB)

SOFSEM 2008, January 19-25, High Tatras, Slovakia