From branching to linear time, coalgebraically (Q4589615)
From MaRDI portal
!
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 6805752
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From branching to linear time, coalgebraically |
scientific article; zbMATH DE number 6805752 |
Statements
From Branching to Linear Time, Coalgebraically (English)
0 references
10 November 2017
0 references
coalgebra
0 references
linear time
0 references
trace
0 references
0.9985689520835876
0 references
0.8982236385345459
0 references
0.8106303811073303
0 references
0.7949892282485962
0 references
0.7813812494277954
0 references
