search result

Cover von Bisimulation for Weakly Expressive Coalgebraic Modal Logics

Bisimulation for Weakly Expressive Coalgebraic Modal Logics

Year: 2017
Media group: LIPIcs
Cover von Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics

Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics

Year: 2025
Media group: LIPIcs
Cover von Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2 - 3, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13225
Media group: MONOGRAPHIE
Cover von Pointwise extensions of GSOS-defined operations

Pointwise extensions of GSOS-defined operations

Author: Hansen, Helle Hvid; Klin, Bartek
Year: 2011
Coalgebraic Logic
Media group: ARTICLE
Cover von Logic, Language, and Computation
11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21 - 26, 2015, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10148
Media group: MONOGRAPHIE
Cover von A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

Year: 2015
Media group: LIPIcs
Cover von Logic, Language, Information, and Computation
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13923
Media group: MONOGRAPHIE
OPEN V 11.1.0.0