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

TitleEnhanced Coinduction
StudentRot, J.C. (Jurriaan)
ProgrammePhD Computer Science
SupervisorsBoer, prof.dr. F.S. (Frank) de
prof.dr. J.J.M.M. Rutten, CWI en Nijmegen (promotor)
Bonsangue, prof.dr. M.M. (Marcello)
More information Thesis information

Citation details

Rot, J.C. (Jurriaan), Enhanced Coinduction, Thesis PhD Computer Science, LIACS, Leiden University, 2015.