|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CesenaPediciniRoversi:FOPARA11 (In proceedings) | |
| Author(s) | Emanuele Cesena, Marco Pedicini and Luca Roversi |
| Title | « Typing a Core Binary-Field Arithmetic in a Light Logic » |
| In | Foundational and Practical Aspects of Resource Analysis (subtitle: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011) |
| Series | LNCS |
| Editor(s) | R. Peña, M. van Eekelen and O. Shkaravska |
| Volume | 7177 |
| Page(s) | 19 -- 35 |
| Year | 2012 |
| Publisher | Springer |
| URL | http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2011-DLAL-FF/CesenaPediciniRove r si2012FOPARA.pdf |
| BibTeX code |
@inproceedings{CesenaPediciniRoversi:FOPARA11,
volume = {7177},
author = {{C}esena, {E}manuele and {P}edicini, {M}arco and {R}oversi, {L}uca},
series = {{LNCS}},
booktitle = {{Foundational and Practical Aspects of Resource Analysis
(subtitle: 2nd International Workshop on Foundational and
Practical Aspects of Resource Analysis, FOPARA 2011)}},
editor = {{P}e\~na, {R}. and van {E}ekelen, {M}. and {S}hkaravska, {O}.},
url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2011-DLAL-FF/CesenaPediciniRove r si2012FOPARA.pdf},
title = {{Typing a Core Binary-Field Arithmetic in a Light Logic}},
publisher = {Springer},
pages = {19 -- 35},
year = {2012},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)