Higher-Order Linear Ramified Recurrence. Lago, U. D., Martini, S., & Roversi, L. In Berardi, S., Coppo, M., & Damiani, F., editors, Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, volume 3085, of Lecture Notes in Computer Science, pages 178–193, 2003. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/types/LagoMR03,
author = {Ugo Dal Lago and
Simone Martini and
Luca Roversi},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Higher-Order Linear Ramified Recurrence},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {178--193},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_12},
doi = {10.1007/978-3-540-24849-1\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/LagoMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"eJth43JTA9qTXmAh5","bibbaseid":"lago-martini-roversi-higherorderlinearramifiedrecurrence-2003","author_short":["Lago, U. D.","Martini, S.","Roversi, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Martini"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Roversi"],"suffixes":[]}],"editor":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Berardi"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Coppo"],"suffixes":[]},{"firstnames":["Ferruccio"],"propositions":[],"lastnames":["Damiani"],"suffixes":[]}],"title":"Higher-Order Linear Ramified Recurrence","booktitle":"Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"3085","pages":"178–193","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/978-3-540-24849-1\\_12","doi":"10.1007/978-3-540-24849-1_12","timestamp":"Tue, 14 May 2019 10:00:42 +0200","biburl":"https://dblp.org/rec/conf/types/LagoMR03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/types/LagoMR03,\n author = {Ugo Dal Lago and\n Simone Martini and\n Luca Roversi},\n editor = {Stefano Berardi and\n Mario Coppo and\n Ferruccio Damiani},\n title = {Higher-Order Linear Ramified Recurrence},\n booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,\n Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {3085},\n pages = {178--193},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/978-3-540-24849-1\\_12},\n doi = {10.1007/978-3-540-24849-1\\_12},\n timestamp = {Tue, 14 May 2019 10:00:42 +0200},\n biburl = {https://dblp.org/rec/conf/types/LagoMR03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D.","Martini, S.","Roversi, L."],"editor_short":["Berardi, S.","Coppo, M.","Damiani, F."],"key":"DBLP:conf/types/LagoMR03","id":"DBLP:conf/types/LagoMR03","bibbaseid":"lago-martini-roversi-higherorderlinearramifiedrecurrence-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-24849-1\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["higher","order","linear","ramified","recurrence","lago","martini","roversi"],"title":"Higher-Order Linear Ramified Recurrence","year":2003}