| Marco Delgado < Marco Gaboardi < Marco Matassoni | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000283 (2008-01-10) | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | A Logical Account of PSPACE |
| 000B98 (2015-08-31) | Marco Gaboardi [France] ; Romain Péchoux [France] | Algebras and Coalgebras in the Light Affine Lambda Calculus |
| 000D09 (2012) | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | An Implicit Characterization of PSPACE |
| 002635 (2009-11-23) | Marco Gaboardi [Italie] ; Romain Péchoux [France] | Global and local space properties of stream programs |
| 003667 (2015-01-01) | Marco Gaboardi [France] ; Romain Péchoux [France] | On Bounding Space Usage of Streams Using Interpretation Analysis |
| 004613 (2008) | Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | Soft Linear Logic and Polynomial Complexity Classes |
| 005096 (2009-09-07) | Marco Gaboardi [Italie] ; Romain Péchoux [France] | Upper Bounds on Stream I/O Using Semantic Interpretations |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Marco Gaboardi"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i \
-Sk "Marco Gaboardi" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Curation
|type= indexItem
|index= Author.i
|clé= Marco Gaboardi
}}
| This area was generated with Dilib version V0.6.33. |  |