Matching µ-logic: Foundation of K framework

Xiaohong Chen, Grigore Roşu

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

    3 Citations (SciVal)
    Original languageEnglish
    Title of host publication8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
    EditorsMarkus Roggenbach, Ana Sokolova
    PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
    ISBN (Electronic)9783959771207
    DOIs
    Publication statusPublished (VoR) - Nov 2019
    Event8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 - London, United Kingdom
    Duration: 3 Jun 20196 Jun 2019

    Publication series

    NameLeibniz International Proceedings in Informatics, LIPIcs
    Volume139
    ISSN (Print)1868-8969

    Conference

    Conference8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019
    Country/TerritoryUnited Kingdom
    CityLondon
    Period3/06/196/06/19

    Keywords

    • Matching µ-logic
    • Program verification
    • Reachability logic

    Fingerprint

    Dive into the research topics of 'Matching µ-logic: Foundation of K framework'. Together they form a unique fingerprint.

    Cite this