Showing 1 - 5 results of 5 for search 'Kuperberg, D', query time: 0.02s
Refine Results
-
1
On the Expressive Power of Cost Logics over Infinite Words by Kuperberg, D, Boom, M
Published 2012Conference item -
2
Quasi−Weak Cost Automata: A New Variant of Weakness by Kuperberg, D, Boom, M
Published 2011Conference item -
3
Deciding the weak definability of Büchi definable tree languages by Colcombet, T, Kuperberg, D, Löding, C, Boom, M
Published 2013Conference item -
4
Kleene Algebra with Hypotheses by Doumane, A, Kuperberg, D, Pous, D, Pradic, P
Published 2019Conference item -
5
Two−way cost automata and cost logics over infinite trees by Blumensath, A, Colcombet, T, Kuperberg, D, Parys, P, Boom, M
Published 2014Conference item