A typed encoding of boxed into safe ambients (English)
- New search for: Levi, Francesca
- New search for: Levi, Francesca
In:
Acta Informatica
;
42
, 6-7
; 429-500
;
2006
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:A typed encoding of boxed into safe ambients
-
Contributors:Levi, Francesca ( author )
-
Published in:Acta Informatica ; 42, 6-7 ; 429-500
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2006
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 83.00 / 31.00 / 54.00 / 85.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 42, Issue 6-7
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 389
-
Refinement of actions for real-time concurrent systems with causal ambiguityMajster-Cederbaum, Mila / Wu, Jinzhao / Yue, Houguang et al. | 2005
- 419
-
Embedding linear orders in gridsEhrenfeucht, Andrzej / Harju, Tero / Rozenberg, Grzegorz et al. | 2006
- 429
-
A typed encoding of boxed into safe ambientsLevi, Francesca et al. | 2006
- 501
-
Vector assignment schemes for asymmetric settingsEpstein, Leah / Tassa, Tamir et al. | 2006
- 515
-
Equivalences and optimizations in an expressive XSLT subsetTrombetta, Alberto / Montesi, Danilo et al. | 2006