Interpolation with Decidable Fixpoint Logics (Q4635819)

From MaRDI portal
scientific article; zbMATH DE number 6863404
Language Label Description Also known as
English
Interpolation with Decidable Fixpoint Logics
scientific article; zbMATH DE number 6863404

    Statements

    title
    Interpolation with Decidable Fixpoint Logics (English)
    0 references
    DOI
    10.1109/LICS.2015.43
    0 references
    author
    Michael Benedikt
    0 references
    Balder ten Cate
    0 references
    Michael Vanden Boom
    0 references
    publication date
    23 April 2018
    0 references
    Mathematics Subject Classification ID
    03B70
    0 references
    03B45
    0 references
    03C40
    0 references
    zbMATH DE Number
    6863404
    0 references
    Wikidata QID
    Q110923655
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4635819&oldid=28797381"
    Powered by MediaWiki