search result

Cover von Strong Induction Is an Up-To Technique

Strong Induction Is an Up-To Technique

Year: 2025
Media group: LIPIcs
Cover von Completeness for Probabilistic Boolean Tapes

Completeness for Probabilistic Boolean Tapes

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2021
Media group: LIPIcs
Cover von LIPIcs, Volume 202, MFCS 2021, Complete Volume

LIPIcs, Volume 202, MFCS 2021, Complete Volume

Year: 2021
Media group: LIPIcs
Cover von 46th International Symposium on Mathematical Foundations of Computer Science
MFCS 2021 : August 23 - 27, 2021, Tallinn, Estonia
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 202
Media group: LIPIcs
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 Functorial Semantics for First-Order Theories

Functorial Semantics for First-Order Theories

Year: 2026
Media group: LIPIcs
Cover von Effectful Mealy Machines

Effectful Mealy Machines

Coalgebraic and Causal Traces (Invited Talk)
Year: 2025
Media group: LIPIcs
Cover von Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0