Showing 1 - 5 results of 5 for search 'Manfred Droste', query time: 0.03s Refine Results
  1. 1
    Weighted omega-Restricted One Counter Automata

    Weighted omega-Restricted One Counter Automata by Manfred Droste, Werner Kuich

    Published 2018-03-01
    Get full text
    Article
  2. 2
    Weighted Linear Dynamic Logic

    Weighted Linear Dynamic Logic by Manfred Droste, George Rahonis

    Published 2016-09-01
    Get full text
    Article
  3. 3
    Bifinite Chu Spaces

    Bifinite Chu Spaces by Manfred Droste, Guo-Qiang Zhang

    Published 2010-01-01
    Get full text
    Article
  4. 4
    The Triple-Pair Construction for Weighted ω-Pushdown Automata

    The Triple-Pair Construction for Weighted ω-Pushdown Automata by Manfred Droste, Zoltán Ésik, Werner Kuich

    Published 2017-08-01
    Get full text
    Article
  5. 5
    MK-fuzzy Automata and MSO Logics

    MK-fuzzy Automata and MSO Logics by Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner

    Published 2017-09-01
    Get full text
    Article

Search Tools: