Treffer 1 - 20 von 99 für Suche 'Niwinski, D.', Suchdauer: 0,99s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    On the Feasibility of Checking Temporal Integrity Constraints

    On the Feasibility of Checking Temporal Integrity Constraints von Chomicki, J., Niwinski, D.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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:
  6. 6
    About the effect of the number of successful paths in an infinite tree on the recognizability by a finite automaton with Buchi conditions

    About the effect of the number of successful paths in an infinite tree on the recognizability by a finite automaton with Buchi conditions von Beauquier, D., Nivat, M., Niwiński, D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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:
  8. 8
    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:
  9. 9
    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:
  10. 10
    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:
  11. 11
    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:
  12. 12
    Automata on Infinite Trees with Counting Constraints

    Automata on Infinite Trees with Counting Constraints von Beauquier, D., Niwinski, D.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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:
  14. 14
    On the cardinality of sets of infinite trees recognizable by finite automata

    On the cardinality of sets of infinite trees recognizable by finite automata von Niwiński, Damian


    Volltext
    Tagungsbericht

    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
    Synchronization of Regular Automata

    Synchronization of Regular Automata von Caucal, Didier


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Relating hierarchies of word and tree automata

    Relating hierarchies of word and tree automata von Niwiński, Damian, Walukiewicz, Igor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    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:
  19. 19
    The Cost of Stability in Network Flow Games

    The Cost of Stability in Network Flow Games von Resnick, Ezra, Bachrach, Yoram, Meir, Reshef, Rosenschein, Jeffrey S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    The Communication Complexity of Non-signaling Distributions

    The Communication Complexity of Non-signaling Distributions von Degorre, Julien, Kaplan, Marc, Laplante, Sophie, Roland, Jérémie


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: