On the Expressive Power of Light Affine Logic. Lago, U. D. In Blundo, C. & Laneve, C., editors, Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings, volume 2841, of Lecture Notes in Computer Science, pages 216–227, 2003. Springer. Paper doi bibtex @inproceedings{DBLP:conf/ictcs/Lago03,
author = {Ugo Dal Lago},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {On the Expressive Power of Light Affine Logic},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {216--227},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_18},
doi = {10.1007/978-3-540-45208-9\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Lago03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"PzTkN5tziJatZufLo","bibbaseid":"lago-ontheexpressivepoweroflightaffinelogic-2003","author_short":["Lago, U. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]}],"editor":[{"firstnames":["Carlo"],"propositions":[],"lastnames":["Blundo"],"suffixes":[]},{"firstnames":["Cosimo"],"propositions":[],"lastnames":["Laneve"],"suffixes":[]}],"title":"On the Expressive Power of Light Affine Logic","booktitle":"Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2841","pages":"216–227","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/978-3-540-45208-9\\_18","doi":"10.1007/978-3-540-45208-9_18","timestamp":"Sun, 21 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ictcs/Lago03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ictcs/Lago03,\n author = {Ugo Dal Lago},\n editor = {Carlo Blundo and\n Cosimo Laneve},\n title = {On the Expressive Power of Light Affine Logic},\n booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,\n Bertinoro, Italy, October 13-15, 2003, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2841},\n pages = {216--227},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/978-3-540-45208-9\\_18},\n doi = {10.1007/978-3-540-45208-9\\_18},\n timestamp = {Sun, 21 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ictcs/Lago03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D."],"editor_short":["Blundo, C.","Laneve, C."],"key":"DBLP:conf/ictcs/Lago03","id":"DBLP:conf/ictcs/Lago03","bibbaseid":"lago-ontheexpressivepoweroflightaffinelogic-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-45208-9\\_18"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["expressive","power","light","affine","logic","lago"],"title":"On the Expressive Power of Light Affine Logic","year":2003}