|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| AncGiaZuc16 (In proceedings) | |
| Author(s) | Davide Ancona, Paola Giannini and Elena Zucca |
| Title | « Incremental Rebinding with Name Polymorphism » |
| In | Proceedings of {ICTCS} 2015, the 16th Italian Conference on Theoretical Computer Science |
| Series | Electronic Notes in Theoretical Computer Science |
| Volume | 322 |
| Page(s) | 19 - 34 |
| Year | 2016 |
| ISSN number | 1571-0661 |
| URL | http://www.sciencedirect.com/science/article/pii/S1571066116300111 |
| BibTeX code |
@inproceedings{AncGiaZuc16,
volume = {322},
author = {Davide Ancona and Paola Giannini and Elena Zucca},
issn = {1571-0661},
series = {Electronic Notes in Theoretical Computer Science },
booktitle = {Proceedings of \{ICTCS\} 2015, the 16th Italian Conference on
Theoretical Computer Science },
url = {http://www.sciencedirect.com/science/article/pii/S1571066116300111},
title = {Incremental Rebinding with Name Polymorphism },
pages = {19 - 34},
year = {2016},
doi = {http://dx.doi.org/10.1016/j.entcs.2016.03.003},
}
|
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)