Programming Systems Lab: Publications by Kathrin Stark

Saarland University Computer Science

Select author:


Autosubst 2: Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions   (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark


Hereditarily Finite Sets in Constructive Type Theory   (pdf)
Gert Smolka, Kathrin Stark
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-27, 2016

Login to edit

Webmaster, Mon May 30 13:48:30 2016