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


DROPS-Home | Fulltext Search | Imprint Published by LZI