No. Title Author Year
1 Computing With a Fixed Number of Pointers (Invited Talk) Hofmann, Martin et al. 2013
2 10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State Ahmed, Amal et al. 2010
3 10351 Executive Summary -- Modelling, Controlling and Reasoning About State Ahmed, Amal et al. 2010
4 08061 Abstracts Collection -- Types, Logics and Semantics for State Ahmed, Amal et al. 2008
5 08061 Executive Summary -- Types, Logics and Semantics for State Ahmed, Amal et al. 2008
6 04381 Abstracts Collection -- Dependently Typed Programming Altenkirch, Thorsten et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI