The Structure of Differential Invariants and Differential Cut Elimination (Q4899116)

From MaRDI portal
Revision as of 17:44, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6122244
Language Label Description Also known as
English
The Structure of Differential Invariants and Differential Cut Elimination
scientific article; zbMATH DE number 6122244

    Statements

    The Structure of Differential Invariants and Differential Cut Elimination (English)
    0 references
    0 references
    7 January 2013
    0 references
    proof theory
    0 references
    differential equations
    0 references
    differential invariants
    0 references
    differential cut elimination
    0 references
    differential dynamic logic
    0 references
    hybrid systems
    0 references
    logics of programs
    0 references
    real differential semialgebraic geometry
    0 references
    verification
    0 references
    proof search complexity
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references