Search Results - Mikołaj Bojańczyk

Refine Results
  1. 101
    Emptiness of zero automata is decidable

    Emptiness of zero automata is decidable by Bojańczyk, Mikolaj, Gimbert, Hugo, Kelmendi, Edon

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 102
    Two monads for graphs

    Two monads for graphs by Bojanczyk, Mikolaj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 103
    Rigidity is undecidable

    Rigidity is undecidable by Bojanczyk, Mikołaj, Szawiel, Stanisław, Zawadowski, Marek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 104
    Star Height via Games

    Star Height via Games by Bojanczyk, Mikolaj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 105
    Two-Way Unary Temporal Logic over Trees

    Two-Way Unary Temporal Logic over Trees by Bojanczyk, Mikolaj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 106
    Tree Languages Defined in First-Order Logic with One Quantifier Alternation

    Tree Languages Defined in First-Order Logic with One Quantifier Alternation by Bojanczyk, Mikolaj, Segoufin, Luc

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 107
    Regular and First Order List Functions

    Regular and First Order List Functions by Bojanczyk, Mikolaj, Daviaud, Laure, Krishna Shankara Narayanan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 108
    Weak Mso with the Unbounding Quantifier

    Weak Mso with the Unbounding Quantifier by Bojanczyk, Mikolaj

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 109
    Wreath Products of Forest Algebras, with Applications to Tree Logics

    Wreath Products of Forest Algebras, with Applications to Tree Logics by Bojanczyk, Mikolaj, Walukiewicz, Igor, Straubing, Howard

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 110
    Decomposition Theorems and Model-Checking for the Modal \(\mu\)-Calculus

    Decomposition Theorems and Model-Checking for the Modal \(\mu\)-Calculus by Bojanczyk, Mikolaj, Dittmann, Christoph, Kreutzer, Stephan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: