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)

Search results