search result

Cover von Approximating Fixpoints of Approximated Functions (Invited Talk)

Approximating Fixpoints of Approximated Functions (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras

Year: 2018
Media group: LIPIcs
Cover von Witnesses for Fixpoint Games on Lattices

Witnesses for Fixpoint Games on Lattices

Year: 2026
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 363, CSL 2026, Complete Volume

LIPIcs, Volume 363, CSL 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 34th EACSL Annual Conference on Computer Science Logic
CSL 2026, Paris, France, February 23-28, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 363
Media group: LIPIcs
Cover von Coalgebraic Methods in Computer Science
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14617
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, List of Authors

Front Matter, Table of Contents, Preface, List of Authors

Year: 2017
Media group: LIPIcs
Cover von 7th Conference on Algebra and Coalgebra in Computer Science
CALCO 2017, June 14 - 16, 2017, Ljubljana, Slovenia
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 72
Media group: LIPIcs
Cover von Graph Transformation
7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22 - 24, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8571
Media group: MONOGRAPHIE
OPEN V 11.1.0.0