Pointfree expression and calculation: From quantification to temporal logic (Q633283)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Pointfree expression and calculation: From quantification to temporal logic
scientific article

    Statements

    Pointfree expression and calculation: From quantification to temporal logic (English)
    0 references
    0 references
    31 March 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    concrete category theory
    0 references
    generic functionals
    0 references
    pointfree style
    0 references
    pointwise style
    0 references
    predicate calculus
    0 references
    quantifiers
    0 references
    signal flow
    0 references
    temporal logic
    0 references
    TLA
    0 references
    transform methods
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references