Generalizing the powerset construction, coalgebraically (Q2908856)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Generalizing the powerset construction, coalgebraically |
scientific article; zbMATH DE number 6073538
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generalizing the powerset construction, coalgebraically |
scientific article; zbMATH DE number 6073538 |
Statements
29 August 2012
0 references
coalgebra
0 references
language equivalence
0 references
bisimilarity
0 references
powerset construction
0 references
Generalizing the powerset construction, coalgebraically (English)
0 references
0.9539896249771118
0 references
0.8268147706985474
0 references
0.8211891651153564
0 references
0.8033014535903931
0 references
0.7995473146438599
0 references