Showing 1 - 2 results of 2 for search 'Christof Löding', query time: 0.04s Refine Results
  1. 1
    Decision Problems for Deterministic Pushdown Automata on Infinite Words
    by Christof Löding
    Published 2014-05-01
    Get full text
    Article
  2. 2
    Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
    by Christof Löding, Sarah Winter
    Published 2014-08-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search