search result

Cover von Resolving Nondeterminism by Chance

Resolving Nondeterminism by Chance

Year: 2025
Media group: LIPIcs
Cover von Minimising Good-For-Games Automata Is NP-Complete

Minimising Good-For-Games Automata Is NP-Complete

Year: 2020
Media group: LIPIcs
Cover von Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete

Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete

Year: 2010
Media group: ARTICLE
Cover von Büchi Complementation Made Tight

Büchi Complementation Made Tight

Year: 2009
Media group: ARTICLE
Cover von Synthesis of distributed systems
Author: Schewe, Sven Search for this author
Year: 2008
Publisher: Saarbrücken, Universität
Media group: DISSERTATION
Cover von Natural Colors of Infinite Words

Natural Colors of Infinite Words

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 118, CONCUR'18, Complete Volume

LIPIcs, Volume 118, CONCUR'18, Complete Volume

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 29th International Conference on Concurrency Theory
CONCUR 2018 : September 4 - 7, 2018 : Beijing, China
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 118
Media group: LIPIcs
Cover von Parity Games with Weights

Parity Games with Weights

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0