Deaccumulation techniques for improving provability (Q882487)

From MaRDI portal
Revision as of 19:55, 25 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Deaccumulation techniques for improving provability
scientific article

    Statements

    title
    Deaccumulation techniques for improving provability (English)
    0 references
    author
    Jürgen Giesl
    0 references
    Armin Kühnemann
    0 references
    Janis Voigtländer
    0 references
    publication date
    23 May 2007
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    68N18
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5156681
    0 references
    zbMATH Keywords
    tree transducers
    0 references
    induction theorem proving
    0 references
    tail recursion
    0 references
    program transformation
    0 references
    program verification
    0 references
    describes a project that uses
    AProVE
    0 references
    RRL
    0 references
    OpenAlex ID
    W2089817457
    0 references
    cites work
    Q3947094
    0 references
    Q2751365
    0 references
    Macro tree transducers
    0 references
    Q2736594
    0 references
    Q3925893
    0 references
    Q4210160
    0 references
    Q2723934
    0 references
    Q2766775
    0 references
    Q3149665
    0 references
    Q3996676
    0 references
    Q4414308
    0 references
    Q4296747
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q882487&oldid=34944983"
    Powered by MediaWiki