[Back]


Talks and Poster Presentations (with Proceedings-Entry):

T. Kotek, H. Veith, F. Zuleger:
"Monadic Second Order Finite Satisfiability and Unbounded Tree-Width";
Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille; 2016-08-29 - 2016-09-01; in: "CSL", 62 (2016), ISBN: 978-3-95977-022-4; 1 - 20.


Created from the Publication Database of the Vienna University of Technology.