search result

Cover von Characterizing Definability in Decidable Fixpoint Logics

Characterizing Definability in Decidable Fixpoint Logics

Year: 2017
Media group: LIPIcs
Cover von Quasi-Weak Cost Automata

Quasi-Weak Cost Automata

A New Variant of Weakness
Year: 2011
Media group: ARTICLE
Cover von Deciding the weak definability of Büchi definable tree languages

Deciding the weak definability of Büchi definable tree languages

Year: 2013
Media group: LIPIcs
OPEN V 11.1.0.0