[Back]


Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Deduction Concepts for Quantified Boolean Formulas";
Talk: Advanced Winter School on Reasoning Engines for Rigorous System Engineering, Johannes Kepler University, Linz (invited); 2014-02-03 - 2014-02-07.

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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