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
  • Size measures and alphabetic equivalence in the μ-calculus

    Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    3 Downloads (Pure)
  • Coalgebraic reasoning with global assumptions in arithmetic modal logics

    Kupke, C., Pattinson, D. & Schröder, L., 30 Apr 2022, In: ACM Transactions on Computational Logic. 23, 2, p. 1-34 34 p., 11.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Downloads (Pure)