Expressive logics for coalgebras via terminal sequence induction (Q558417): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1305/ndjfl/1094155277 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1305/NDJFL/1094155277 / rank
 
Normal rank

Latest revision as of 21:34, 9 December 2024

scientific article
Language Label Description Also known as
English
Expressive logics for coalgebras via terminal sequence induction
scientific article

    Statements

    Expressive logics for coalgebras via terminal sequence induction (English)
    0 references
    0 references
    6 July 2005
    0 references
    coalgebraic behavioral equivalence
    0 references
    coalgebraic modal logic
    0 references
    coalgebras
    0 references
    predicate liftings
    0 references

    Identifiers

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