Talks and Poster Presentations (without Proceedings-Entry):
S. Bova:
"Parameterized Compilability of Clause Entailment";
Talk: ANR Workshop 2015,
Paris, France (invited);
2015-04-01.
Created from the Publication Database of the Vienna University of Technology.