Expressive logics for coinductive predicates

Clemens Kupke, Jurriaan Rot

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

7 Citations (Scopus)

30 Downloads (Pure)

1 results
- Last Name(descending)

Clemens Kupke
- clemens.kupkestrath.acuk
- Computer And Information Sciences - Senior Lecturer
- SICSA
- Mathematically Structured Programming
Person: Academic