Clemens Kupke

Dr

  • United Kingdom

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Clemens Kupke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Succinct graph representations of µ-calculus formulas

    Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

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

    Open Access
    File
    2 Downloads (Pure)
  • Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 15 Jul 2021, (Accepted/In press) In: Logical Methods in Computer Science. 30 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    2 Downloads (Pure)