Showing 1 - 2 results of 2 for search 'Mark Weyer', query time: 0.02s Refine Results
  1. 1
    Tree-width for first order formulae

    Tree-width for first order formulae by Isolde Adler, Mark Weyer

    Published 2012-03-01
    Get full text
    Article
  2. 2
    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: