Showing 1 - 6 results of 6 for search 'Dirk Pattinson', query time: 0.02s Refine Results
  1. 1
    Generic Modal Cut Elimination Applied to Conditional Logics

    Generic Modal Cut Elimination Applied to Conditional Logics by Dirk Pattinson, Lutz Schröder

    Published 2011-03-01
    Get full text
    Article
  2. 2
    Constructive Domains with Classical Witnesses

    Constructive Domains with Classical Witnesses by Dirk Pattinson, Mina Mohammadian

    Published 2021-03-01
    Get full text
    Article
  3. 3
    Modal meet-implication logic

    Modal meet-implication logic by Jim de Groot, Dirk Pattinson

    Published 2022-07-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
    Representations of Stream Processors Using Nested Fixed Points

    Representations of Stream Processors Using Nested Fixed Points by Neil Ghani, Peter Hancock, Dirk Pattinson

    Published 2009-09-01
    Get full text
    Article
  6. 6
    Model Theory and Proof Theory of Coalgebraic Predicate Logic

    Model Theory and Proof Theory of Coalgebraic Predicate Logic by Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

    Published 2018-03-01
    Get full text
    Article

Search Tools: