search result

Cover von On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)

On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)

Year: 2023
Media group: LIPIcs
Cover von Initial Algebras Without Iteration ((Co)algebraic pearls)

Initial Algebras Without Iteration ((Co)algebraic pearls)

Year: 2021
Media group: LIPIcs
Cover von Power-Set Functors and Saturated  Trees

Power-Set Functors and Saturated Trees

Year: 2011
Media group: LIPIcs
Cover von Coalgebraic methods in computer science; 1/2
S. 1 - 259
Search for this author
Year: 2001
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Volume 2.; Logic, language and computation
Search for this author
Year: 1999
Publisher: Stanford, CSLI Publications
Volume: Volume 2.
Series: CSLI lecture notes series; 96
Media group: MONOGRAPHIE
Cover von A Complete Inference System for Probabilistic Infinite Trace Equivalence

A Complete Inference System for Probabilistic Infinite Trace Equivalence

Year: 2025
Media group: LIPIcs
Cover von Logic, Language, Information, and Computation
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24 - 27, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10944
Media group: MONOGRAPHIE
Cover von Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9160
Media group: MONOGRAPHIE
OPEN V 11.1.0.0