Weak completeness of coalgebraic dynamic logics

C Kupke, HH Hansen

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 10th international workshop on fixed points in computer science
    EditorsR Matthes, M Mio
    Place of Publications.l.
    PublisherCornell University Library
    Pages1-15
    Number of pages15
    DOIs
    Publication statusPublished - 2015
    Event10th international workshop on fixed points in computer science, Berlin, Germany - s.l.
    Duration: 11 Sep 201512 Sep 2015

    Publication series

    Name
    PublisherCornell university Library

    Conference

    Conference10th international workshop on fixed points in computer science, Berlin, Germany
    Period11/09/1512/09/15

    Cite this