Showing 1 - 7 results of 7 for search 'Clemens Kupke', query time: 0.04s Refine Results
  1. 1
    Expressive Logics for Coinductive Predicates

    Expressive Logics for Coinductive Predicates by Clemens Kupke, Jurriaan Rot

    Published 2021-12-01
    Get full text
    Article
  2. 2
    Games for Topological Fixpoint Logic

    Games for Topological Fixpoint Logic by Nick Bezhanishvili, Clemens Kupke

    Published 2016-09-01
    Get full text
    Article
  3. 3
    Weak Completeness of Coalgebraic Dynamic Logics

    Weak Completeness of Coalgebraic Dynamic Logics by Helle Hvid Hansen, Clemens Kupke

    Published 2015-09-01
    Get full text
    Article
  4. 4
    EXPTIME Tableaux for the Coalgebraic mu-Calculus

    EXPTIME Tableaux for the Coalgebraic mu-Calculus by Corina Cirstea, Clemens Kupke, Dirk Pattinson

    Published 2011-08-01
    Get full text
    Article
  5. 5
    Completeness for the coalgebraic cover modality

    Completeness for the coalgebraic cover modality by Clemens Kupke, Alexander Kurz, Yde Venema

    Published 2012-07-01
    Get full text
    Article
  6. 6
    Stream Differential Equations: Specification Formats and Solution Methods

    Stream Differential Equations: Specification Formats and Solution Methods by Helle Hvid Hansen, Clemens Kupke, Jan Rutten

    Published 2017-02-01
    Get full text
    Article
  7. 7
    Neighbourhood Structures: Bisimilarity and Basic Model Theory

    Neighbourhood Structures: Bisimilarity and Basic Model Theory by Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

    Published 2009-04-01
    Get full text
    Article

Search Tools: