No. Title Author Year
1 Extracting Non-Deterministic Concurrent Programs Berger, Ulrich 2016
2 Extracting Imperative Programs from Proofs: In-place Quicksort Berger, Ulrich et al. 2014
3 Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411) Berger, Ulrich et al. 2012
4 Realisability and Adequacy for (Co)induction Berger, Ulrich 2009
5 Continuous Semantics for Termination Proofs Berger, Ulrich 2005
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI