Jonas Kaiser: Doctoral Dissertation

Saarland University Computer Science

This is the project page for my doctoral dissertation. The main purpose of this page is an orgnaised presentation of the various involved devlopments. I am probably going to include auxillary documents as I see fit.

Working title

Formal Correspondence Proofs for Systems with Binders and Complex Contextual Information

Supervisor: Prof. Dr. Gert Smolka

Abstract

TO APPEAR

Attached Documents


Jonas Kaiser, Wed Apr 19 14:50:43 2017