Two applications of Boolean models (Q1128177)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Two applications of Boolean models
scientific article

    Statements

    title
    Two applications of Boolean models (English)
    0 references
    author
    Thierry Coquand
    0 references
    publication date
    10 August 1998
    0 references
    zbMATH Keywords
    conservativity
    0 references
    Boolean models
    0 references
    Herbrand's theorem
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03C90
    0 references
    03F50
    0 references
    03F65
    0 references
    03C07
    0 references
    zbMATH DE Number
    1187518
    0 references
    OpenAlex ID
    W2019237035
    0 references
    DOI
    10.1007/S001530050088
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1128177&oldid=38607671"
    Powered by MediaWiki