search result

Cover von Branching in Well-Structured Transition Systems (Invited Talk)

Branching in Well-Structured Transition Systems (Invited Talk)

Year: 2021
Media group: LIPIcs
Cover von The Parametric Complexity of Lossy Counter Machines

The Parametric Complexity of Lossy Counter Machines

Year: 2019
Media group: LIPIcs
Cover von Implementation and application of automata
10th international conference, Sophia Antipolis, France, June 27 - 29, 2005, revised selected papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3845
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 326, CSL 2025, Complete Volume

LIPIcs, Volume 326, CSL 2025, Complete Volume

Year: 2025
Media group: LIPIcs
Cover von 33rd EACSL Annual Conference on Computer Science Logic
CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 326
Media group: LIPIcs
Cover von On the Length of Strongly Monotone Descending Chains over ℕ^d

On the Length of Strongly Monotone Descending Chains over ℕ^d

Year: 2024
Media group: LIPIcs
Cover von Reachability Problems
14th International Conference, RP 2020, Paris, France, October 19 - 21, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 12448
Media group: MONOGRAPHIE
Cover von A Hypersequent Calculus with Clusters for Tense Logic over Ordinals

A Hypersequent Calculus with Clusters for Tense Logic over Ordinals

Year: 2018
Media group: LIPIcs
Cover von A Sequent Calculus for a Modal Logic on Finite Data Trees

A Sequent Calculus for a Modal Logic on Finite Data Trees

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0