Research output

  1. Well-definedness and observational equivalence for inductive-coinductive programs

    Research output: Contribution to journalArticleScientificpeer-review

  2. Completeness for game logic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. (Co)Algebraic Techniques for Markov Decision Processes

    Research output: Contribution to conferenceAbstractScientific

View all (21) »

ID: 139429