Relational characterisations of paths (Q2210868)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relational characterisations of paths
scientific article

    Statements

    title
    Relational characterisations of paths (English)
    0 references
    author
    Rudolf Berghammer
    0 references
    Hitoshi Furusawa
    0 references
    Walter Guttmann
    0 references
    Peter Höfner
    0 references
    publication date
    9 November 2020
    0 references
    zbMATH Keywords
    cycles
    0 references
    graphs
    0 references
    Kleene algebras
    0 references
    paths
    0 references
    relation algebras
    0 references
    describes a project that uses
    Isabelle
    0 references
    Isabelle/HOL
    0 references
    Mace4
    0 references
    Sledgehammer
    0 references
    Stone Algebras
    0 references
    Isar
    0 references
    Prover9
    0 references
    E Theorem Prover
    0 references
    Isabelle/Isar
    0 references
    HOL
    0 references
    cites work
    Q2757756
    0 references
    Q4415086
    0 references
    Q3619797
    0 references
    On Kleene algebras
    0 references
    Q5315023
    0 references
    Q5572939
    0 references
    Q4362875
    0 references
    Relation algebras
    0 references
    Q4823141
    0 references
    Q4449006
    0 references
    Q5287518
    0 references
    Q4105691
    0 references

    Identifiers

    Mathematics Subject Classification ID
    05C38
    0 references
    03B35
    0 references
    03G15
    0 references
    05C85
    0 references
    68V15
    0 references
    zbMATH DE Number
    7271810
    0 references
    OpenAlex ID
    W3073928042
    0 references
    arXiv ID
    1801.04026
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2210868&oldid=38944822"
    Powered by MediaWiki