Expressive logics for coinductive predicates

Clemens Kupke, Jurriaan Rot

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

7 Citations (Scopus)
25 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Expressive logics for coinductive predicates'. Together they form a unique fingerprint.

Computer Science

Mathematics