|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| PaganiRonchi10 (In proceedings) | |
| Author(s) | Michele Pagani and Simona Ronchi Della Rocca |
| Title | « Solvability in Resource Lambda Calculus » |
| In | Foundations of Software Science and Computational Structures (FOSSACS 2010) |
| Series | LNCS |
| Editor(s) | Luke Ong |
| Volume | 6014 |
| Page(s) | 358--373 |
| Year | 2010 |
| Publisher | SPRINGER |
| URL | http://www.di.unito.it/~ronchi/papers/fossacs2010.pdf |
| BibTeX code |
@inproceedings{PaganiRonchi10,
volume = {6014},
author = {Pagani, Michele and Ronchi Della Rocca, Simona},
series = {LNCS},
booktitle = {Foundations of Software Science and Computational Structures
(FOSSACS 2010)},
editor = {Luke Ong},
url = {http://www.di.unito.it/~ronchi/papers/fossacs2010.pdf},
title = {Solvability in Resource Lambda Calculus},
publisher = {SPRINGER},
year = {2010},
pages = {358--373},
}
|
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)