Programming Systems Lab: Publications by Christoph Benzmueller

Saarland University Computer Science

Select author:

2009

Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science


Login to edit


Legal notice, Privacy policy