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


DROPS-Home | Fulltext Search | Imprint Published by LZI