Stone Relation Algebras (Q5283207)

From MaRDI portal
scientific article; zbMATH DE number 6750819
Language Label Description Also known as
English
Stone Relation Algebras
scientific article; zbMATH DE number 6750819

    Statements

    title
    Stone Relation Algebras (English)
    0 references
    author
    Walter Guttmann
    0 references
    publication date
    21 July 2017
    0 references
    describes a project that uses
    Isabelle
    0 references
    Archive Formal Proofs
    0 references
    RelView
    0 references
    Isabelle/HOL
    0 references
    HOL
    0 references
    Relation Algebra
    0 references
    Kleene Algebra
    0 references
    Nitpick
    0 references
    Sledgehammer
    0 references
    cites work
    Q4091421
    0 references
    Q4362882
    0 references
    Q4213376
    0 references
    Q4331824
    0 references
    Q5532570
    0 references
    Q4273425
    0 references
    Q5639639
    0 references
    Q4178997
    0 references
    Q3689227
    0 references
    L-fuzzy sets
    0 references
    Q5639727
    0 references
    Q2844116
    0 references
    Q4362921
    0 references
    Relation algebras
    0 references
    Q4892369
    0 references
    Q4041054
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03G15
    0 references
    03B35
    0 references
    68T15
    0 references
    zbMATH DE Number
    6750819
    0 references
    OpenAlex ID
    W2592285783
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5283207&oldid=36335273"
    Powered by MediaWiki