Coinduction up-to in a fibrational setting (Q4635603)
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: Coinduction up-to in a fibrational setting |
scientific article; zbMATH DE number 6863078
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Coinduction up-to in a fibrational setting |
scientific article; zbMATH DE number 6863078 |
Statements
Coinduction up-to in a fibrational setting (English)
0 references
23 April 2018
0 references
GSOS
0 references
bialgebras
0 references
bisimulation up-to
0 references
coinductive predicates
0 references
fibrations
0 references
nominal automata
0 references
similarity
0 references
up-to techniques
0 references
0.9360703229904176
0 references
0.9142035841941832
0 references
0.8579927682876587
0 references
0.8500801920890808
0 references
0.8491529226303101
0 references
