Coalgebraic up-to techniques (Q2848937)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6208106
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Coalgebraic up-to techniques |
scientific article; zbMATH DE number 6208106 |
Statements
Coalgebraic Up-to Techniques (English)
0 references
13 September 2013
0 references
0.8174394369125366
0 references
0.8158514499664307
0 references
0.8121205568313599
0 references
0.7994648814201355
0 references
0.7892171144485474
0 references
