search result

Cover von On the Problem of Computing the Probability of Regular Sets of Trees

On the Problem of Computing the Probability of Regular Sets of Trees

Year: 2015
Media group: LIPIcs
Cover von A Characterisation of Pi^0_2 Regular Tree Languages

A Characterisation of Pi^0_2 Regular Tree Languages

Year: 2017
Media group: LIPIcs
Cover von The Logical Strength of Büchi's Decidability Theorem

The Logical Strength of Büchi's Decidability Theorem

Year: 2016
Media group: LIPIcs
Cover von On the Separation Question for Tree Languages; 4
article : pp. 833-855
Search for this author
Year: 2014
Publisher: Berlin, Springer
Count: 4
Media group: ARTICLE
Cover von On Computing Pareto Stable Assignments

On Computing Pareto Stable Assignments

Year: 2012
Media group: ARTICLE
Cover von On the separation question for tree languages

On the separation question for tree languages

Year: 2012
Media group: ARTICLE
Cover von On the Borel Inseparability of Game Tree Languages

On the Borel Inseparability of Game Tree Languages

Year: 2009
Media group: ARTICLE
OPEN V 11.1.0.0