Multi-type Sequent Calculi (Q6277612)

From MaRDI portal
scientific article; zbMATH DE number 900292899
Language Label Description Also known as
English
Multi-type Sequent Calculi
scientific article; zbMATH DE number 900292899

    Statements

    publication date
    17 September 2016
    0 references
    arXiv ID
    1609.05343
    0 references
    arXiv classification
    math.LO
    0 references
    author
    Sabine Frittella
    0 references
    Giuseppe Greco
    0 references
    Alexander Kurz
    0 references
    Alessandra Palmigiano
    0 references
    Vlasta Sikimić
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6277612&oldid=35836269"
    Powered by MediaWiki