search result

Cover von Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem

Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 323, FSTTCS 2024, Complete Volume

LIPIcs, Volume 323, FSTTCS 2024, Complete Volume

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2024
Media group: LIPIcs
Cover von 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2024, December 16-18, 2024, Gandhinagar, Gujarat, India
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 323
Media group: LIPIcs
Cover von Parikh Images of Register Automata

Parikh Images of Register Automata

Year: 2021
Media group: LIPIcs
Cover von Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms

Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms

Year: 2018
Media group: LIPIcs
Cover von Reachability Analysis of First-order Definable Pushdown Systems

Reachability Analysis of First-order Definable Pushdown Systems

Year: 2015
Media group: LIPIcs
Cover von Reachability in Symmetric VASS

Reachability in Symmetric VASS

Year: 2025
Media group: LIPIcs
Cover von Bi-Reachability in Petri Nets with Data

Bi-Reachability in Petri Nets with Data

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0