To results list
Cover von Enhanced coalgebraic bisimulation opens in new tab

Enhanced coalgebraic bisimulation
Author: Rot, Jurriaan
Statement of Responsibility: Jurriaan Rot
Year: 2017
Coalgebraic Logic; 7
Media group: ARTICLE

Details

Author: Search for this author Rot, Jurriaan
Statement of Responsibility: Jurriaan Rot
Year: 2017
Parent work: Coalgebraic Logic; 7
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1236-1264
Participating parties: Search for this character Bonchi, Filippo; Bonsangue, Marcello M.; Pous, Damien; Rutten, Jan J. M. M.; Silva, Alexandra
Media group: ARTICLE