Johannes Hölzl
Post-doctoral Researcher, Faculty of Science — Computer Science, Vrije Universiteit Amsterdam
Post-doctoral Researcher, Faculty of Science — Computer Science, Vrije Universiteit Amsterdam
dr. J. Hölzl
W & N Building, Room T-443
Vrije Universiteit Amsterdam
Department of Computer Science
Section of Theoretical Computer Science
De Boelelaan 1081a
1081 HV Amsterdam
The Netherlands
J. Autom. Reasoning 59(4) (pages 389-423)
The final publication is available at Springer Link.
J. Autom. Reasoning 59(3) (pages 345-387)
The final publication is available at Springer Link.
ITP 2013 (pages 279-294)
The final publication is available at Springer Link.
J. Autom. Reasoning 59(4) (pages 389-423)
The final publication is available at Springer Link.
J. Autom. Reasoning 59(3) (pages 345-387)
The final publication is available at Springer Link.
FroCoS 2017 (pages 3-21)
ITP 2016 (pages 475-482)
The final publication is available at Springer Link.
ITP 2015 (pages 203-220)
The final publication is available at Springer Link.
ITP 2014 (pages 93-110)
The final publication is available at Springer Link.
ITP 2014 (pages 341-357)
The final publication is available at Springer Link.
J. Formalized Reasoning 6(1) (pages 1-30)
CALCO 2013 (pages )
ITP 2013 (pages 279-294)
The final publication is available at Springer Link.
ITP 2012 (pages 377-392)
The final publication is available at Springer Link.
QFM 2012 (pages 17-31)
ITP 2011 (pages 135-151)
The final publication is available at Springer Link.