PhD Computer Science

The following thesis was written by a student in the 2015 class of the PhD Computer Science programme at Leiden University.

Thesis details

Title Enhanced Coinduction
Student Rot, Jurriaan C.
Programme PhD Computer Science
Year 2015
More information Thesis information

Citation details

Rot, Jurriaan C., Enhanced Coinduction, Thesis PhD Computer Science, Leiden University, 2015.