@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}
}

{"_id":"f7kxpdiccTmRtnyLJ","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}