Logic-Induced Bisimulations (Q6347471)

From MaRDI portal
scientific article; zbMATH DE number 7585719
Language Label Description Also known as
English
Logic-Induced Bisimulations
scientific article; zbMATH DE number 7585719

    Statements

    publication date
    20 August 2020
    0 references
    arXiv classification
    cs.LO
    0 references
    math.LO
    0 references
    author
    Jim de Groot
    0 references
    Helle Hvid Hansen
    0 references
    Alexander Kurz
    0 references

    Identifiers

    arXiv ID
    2008.09238
    0 references
    zbMATH DE Number
    7585719
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6347471&oldid=35962866"
    Powered by MediaWiki