I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Incremental Confined Types Analysis:

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven..
Electronic Notes in Theoretical Computer Science.  164 (2006)  2 - p. 81-96 , 2006
Link: https://doi.org/10.1016/j.entcs.2006.10.006