Treffer 1 - 20 von 118 für Suche 'Niwinski, Damian', Suchdauer: 1,04s Treffer weiter einschränken
  1. 1
    200 Problems on Languages, Automata, and Computation

    200 Problems on Languages, Automata, and Computation von Murlak, Filip, Niwinski, Damian, Rytter, Wojciech

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Contribution of Warsaw Logicians to Computational Logic

    Contribution of Warsaw Logicians to Computational Logic von Niwiński, Damian

    Veröffentlicht in Axioms

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On the positional determinacy of edge-labeled games

    On the positional determinacy of edge-labeled games von Colcombet, Thomas, Niwiński, Damian

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Higher-Order Pushdown Trees Are Easy

    Higher-Order Pushdown Trees Are Easy von Knapik, Teodor, Niwiński, Damian, Urzyczyn, Paweł


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Choice functions and well-orderings over the infinite binary tree

    Choice functions and well-orderings over the infinite binary tree von Carayol, Arnaud, Löding, Christof, Niwinski, Damian, Walukiewicz, Igor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    On the Separation Question for Tree Languages

    On the Separation Question for Tree Languages von Arnold, André, Michalewski, Henryk, Niwiński, Damian

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Self-indexed Text Compression Using Straight-Line Programs

    Self-indexed Text Compression Using Straight-Line Programs von Claude, Francisco, Navarro, Gonzalo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal

    Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal von Balcerzak, Marcin, Niwiński, Damian

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A gap property of deterministic tree languages

    A gap property of deterministic tree languages von Niwiński, Damian, Walukiewicz, Igor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Fixed point characterization of infinite behavior of finite-state systems

    Fixed point characterization of infinite behavior of finite-state systems von Niwinski, Damian

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings

    Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings von Královic, Rastislav, Niwinski, Damian

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Games for the μ-calculus

    Games for the μ-calculus von Niwiński, Damian, Walukiewicz, Igor

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Partial Randomness and Dimension of Recursively Enumerable Reals

    Partial Randomness and Dimension of Recursively Enumerable Reals von Tadaki, Kohtaro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    From Parity and Payoff Games to Linear Programming

    From Parity and Payoff Games to Linear Programming von Schewe, Sven


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Rudiments of Calculus

    Rudiments of Calculus von Arnold, A, Niwinski, D

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Unsafe Grammars and Panic Automata

    Unsafe Grammars and Panic Automata von Knapik, Teodor, Niwiński, Damian, Urzyczyn, Paweł, Walukiewicz, Igor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    A Dichotomy Theorem for Polynomial Evaluation

    A Dichotomy Theorem for Polynomial Evaluation von Briquel, Irénée, Koiran, Pascal


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Graph Decomposition for Improving Memoryless Periodic Exploration

    Graph Decomposition for Improving Memoryless Periodic Exploration von Kosowski, Adrian, Navarra, Alfredo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Synchronization of Regular Automata

    Synchronization of Regular Automata von Caucal, Didier


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Future-Looking Logics on Data Words and Trees

    Future-Looking Logics on Data Words and Trees von Figueira, Diego, Segoufin, Luc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: