Hyper Natural Deduction (Q4635835)

From MaRDI portal
scientific article; zbMATH DE number 6863418
Language Label Description Also known as
English
Hyper Natural Deduction
scientific article; zbMATH DE number 6863418

    Statements

    title
    Hyper Natural Deduction (English)
    0 references
    author
    Arnold Beckmann
    0 references
    Norbert Preining
    0 references
    publication date
    23 April 2018
    0 references

    Identifiers

    DOI
    10.1109/LICS.2015.57
    0 references
    zbMATH DE Number
    6863418
    0 references
    OpenAlex ID
    W1488351281
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4635835&oldid=37005786"
    Powered by MediaWiki