Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Relational characterisations of paths - MaRDI portal

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