Coalgebraic trace semantics via forgetful logics (Q2974794)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coalgebraic trace semantics via forgetful logics
scientific article

    Statements

    Coalgebraic trace semantics via forgetful logics (English)
    0 references
    0 references
    0 references
    11 April 2017
    0 references
    coalgebra
    0 references
    trace semantics
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers