Automatic Generation of Invariants for Circular Derivations in SUP(LA) (Q2891451)

From MaRDI portal
Revision as of 15:23, 19 March 2024 by Openalex240319020357 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Automatic Generation of Invariants for Circular Derivations in SUP(LA)
scientific article

    Statements

    title
    Automatic Generation of Invariants for Circular Derivations in SUP(LA) (English)
    0 references
    author
    Arnaud Fietzke
    0 references
    Evgeny Kruglov
    0 references
    Christoph Weidenbach
    0 references
    publication date
    15 June 2012
    0 references
    describes a project that uses
    z3
    0 references
    SPASS
    0 references
    FLATA
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B35
    0 references
    03B25
    0 references
    03D05
    0 references
    68T15
    0 references
    zbMATH DE Number
    6046612
    0 references
    OpenAlex ID
    W1942011698
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2891451&oldid=31153008"
    Powered by MediaWiki