Matching μ-Logic

Xiaohong Chen, Grigore Rosu

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

    9 Citations (SciVal)
    Original languageEnglish
    Title of host publication2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    ISBN (Electronic)9781728136080
    DOIs
    Publication statusPublished (VoR) - Jun 2019
    Event34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 - Vancouver, Canada
    Duration: 24 Jun 201927 Jun 2019

    Publication series

    NameProceedings - Symposium on Logic in Computer Science
    Volume2019-June
    ISSN (Print)1043-6871

    Conference

    Conference34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
    Country/TerritoryCanada
    CityVancouver
    Period24/06/1927/06/19

    Fingerprint

    Dive into the research topics of 'Matching μ-Logic'. Together they form a unique fingerprint.

    Cite this