search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers

Year: 2016
Media group: LIPIcs
Cover von Computer Science Logic 2016
CSL 2016, August 29 to September 1, 2016, Marseille, France
Search for this author
Year: 2016
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 62
Media group: LIPIcs
Cover von Reasoning About Quality in Hyperproperties

Reasoning About Quality in Hyperproperties

Year: 2026
Media group: LIPIcs
Cover von Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

Determinisation of Finitely-Ambiguous Copyless Cost Register Automata

Year: 2019
Media group: LIPIcs
Cover von Weighted Automata and Expressions over Pre-Rational Monoids

Weighted Automata and Expressions over Pre-Rational Monoids

Author: Talbot, Jean-Marc
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0