|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
tipoP-Coppo-Damiani:05 (Conference proceedings) | |
Editor(s) | Mario Coppo and Ferruccio Damiani |
Title | « International Workshop on Intersection Types and Related Systems (ITRS 2004) » |
Series | ENTCS |
Volume | 136 |
Year | 2005 |
Publisher | Elsevier |
URL | http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%2313109%232005%23998639999%23601300%23FLP%23Volume_136,_Pages_1-228_(19_July_2005)%2BMProceedings_of_the_Third_International_Workshop_on_Intersection_Types_and_Related_Systems_(ITRS_2004)%2BM13_July_2004%2BMEdited_by_M._Coppo_and_F._Damiani&_auth=y&view=c&_acct=C000026382&_version=1&_urlVersion=0&_userid=525216&md5=ee40b17f161bacbd7612820b0a8e9cd3 |
BibTeX code |
@proceedings{tipoP-Coppo-Damiani:05,
volume = {136},
series = {ENTCS},
editor = {Mario Coppo and Ferruccio Damiani},
url = {http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%2313109%232005%23998639999%23601300%23FLP%23Volume_136,_Pages_1-228_(19_July_2005)%2BMProceedings_of_the_Third_International_Workshop_on_Intersection_Types_and_Related_Systems_(ITRS_2004)%2BM13_July_2004%2BMEdited_by_M._Coppo_and_F._Damiani&_auth=y&view=c&_acct=C000026382&_version=1&_urlVersion=0&_userid=525216&md5=ee40b17f161bacbd7612820b0a8e9cd3},
tag = {ENTCS, volume 136, Elsevier},
title = {International Workshop on Intersection Types and Related Systems
(ITRS 2004)},
publisher = {Elsevier},
year = {2005},
}
|
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)