PVS#: Streamlined Tacticals for PVS (Q2864359)

From MaRDI portal
scientific article
Language Label Description Also known as
English
PVS#: Streamlined Tacticals for PVS
scientific article

    Statements

    PVS#: Streamlined Tacticals for PVS (English)
    0 references
    0 references
    0 references
    6 December 2013
    0 references
    0 references
    monads
    0 references
    proof languages
    0 references
    tactics
    0 references
    tacticals
    0 references
    strategies
    0 references
    PVS
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references