Search Results - Mark Weyer

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

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

    Published in Logical Methods in Computer Science (2012-03-01)
    Get full text
    Article


  2. 2

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

    Published in Logical Methods in Computer Science (2014-08-01)
    Get full text
    Article


Search Tools: