Showing 1 - 7 results of 7 for search 'Achim Blumensath', query time: 0.02s Refine Results
  1. 1
    Regular Tree Algebras

    Regular Tree Algebras by Achim Blumensath

    Published 2020-02-01
    Get full text
    Article
  2. 2
    Algebraic Language Theory for Eilenberg--Moore Algebras

    Algebraic Language Theory for Eilenberg--Moore Algebras by Achim Blumensath

    Published 2021-04-01
    Get full text
    Article
  3. 3
    The Power-Set Construction for Tree Algebras

    The Power-Set Construction for Tree Algebras by Achim Blumensath

    Published 2023-11-01
    Get full text
    Article
  4. 4
    Guarded Second-Order Logic, Spanning Trees, and Network Flows

    Guarded Second-Order Logic, Spanning Trees, and Network Flows by Achim Blumensath

    Published 2010-02-01
    Get full text
    Article
  5. 5
    On the Monadic Second-Order Transduction Hierarchy

    On the Monadic Second-Order Transduction Hierarchy by Achim Blumensath, Bruno Courcelle

    Published 2010-06-01
    Get full text
    Article
  6. 6
    Monadic second-order definable graph orderings

    Monadic second-order definable graph orderings by Achim Blumensath, Bruno Courcelle

    Published 2014-01-01
    Get full text
    Article
  7. 7
    Decidability Results for the Boundedness Problem

    Decidability Results for the Boundedness Problem by Achim Blumensath, Martin Otto, Mark Weyer

    Published 2014-08-01
    Get full text
    Article

Search Tools: