Showing 1 - 8 results of 8 for search 'Paweł Parys', query time: 0.03s Refine Results
  1. 1
    Intersection Types and Related Systems

    Intersection Types and Related Systems by Paweł Parys

    Published 2017-02-01
    Get full text
    Article
  2. 2
    Recursion Schemes, the MSO Logic, and the U quantifier

    Recursion Schemes, the MSO Logic, and the U quantifier by Paweł Parys

    Published 2020-02-01
    Get full text
    Article
  3. 3
    On the Expressive Power of Higher-Order Pushdown Systems

    On the Expressive Power of Higher-Order Pushdown Systems by Paweł Parys

    Published 2020-08-01
    Get full text
    Article
  4. 4
    Higher-Order Pushdown Systems with Data

    Higher-Order Pushdown Systems with Data by Paweł Parys

    Published 2012-10-01
    Get full text
    Article
  5. 5
    A Type System Describing Unboundedness

    A Type System Describing Unboundedness by Paweł Parys

    Published 2020-08-01
    Get full text
    Article
  6. 6
    Intersection Types for Unboundedness Problems

    Intersection Types for Unboundedness Problems by Paweł Parys

    Published 2019-04-01
    Get full text
    Article
  7. 7
    Weak Alternating Timed Automata

    Weak Alternating Timed Automata by Pawel Parys, Igor Walukiewicz

    Published 2012-09-01
    Get full text
    Article
  8. 8
    A Recursive Approach to Solving Parity Games in Quasipolynomial Time

    A Recursive Approach to Solving Parity Games in Quasipolynomial Time by Karoliina Lehtinen, Paweł Parys, Sven Schewe, Dominik Wojtczak

    Published 2022-01-01
    Get full text
    Article

Search Tools: