[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Kotek:
"Explaining the decompositionality of monadic second order logic using applications to combinatorics";
Talk: Fun With Formal Methods Workshop, Wien; 2014-07-13.


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