Search Results - Mark Weyer
- Showing 1 - 2 results of 2
-
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
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
