A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455)
From MaRDI portal
scientific article; zbMATH DE number 6603970
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors |
scientific article; zbMATH DE number 6603970 |
Statements
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (English)
0 references
15 July 2016
0 references
