BibTeX records: Carlos Lombardi

download as .bib file

@article{DBLP:journals/entcs/LombardiRV17,
  author    = {Carlos Lombardi and
               Alejandro R{\'{\i}}os and
               Roel de Vrijer},
  title     = {Projections for Infinitary Rewriting},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {332},
  pages     = {131--148},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.entcs.2017.04.009},
  doi       = {10.1016/j.entcs.2017.04.009},
  timestamp = {Mon, 03 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/LombardiRV17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BonelliKLR17,
  author    = {Eduardo Bonelli and
               Delia Kesner and
               Carlos Lombardi and
               Alejandro R{\'{\i}}os},
  title     = {On abstract normalisation beyond neededness},
  journal   = {Theor. Comput. Sci.},
  volume    = {672},
  pages     = {36--63},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.01.025},
  doi       = {10.1016/j.tcs.2017.01.025},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/BonelliKLR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/LombardiRV16,
  author    = {Carlos Lombardi and
               Alejandro R{\'{\i}}os and
               Roel de Vrijer},
  title     = {Projections for infinitary rewriting},
  journal   = {CoRR},
  volume    = {abs/1605.07808},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.07808},
  archivePrefix = {arXiv},
  eprint    = {1605.07808},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/LombardiRV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/AccattoliBKL14,
  author    = {Beniamino Accattoli and
               Eduardo Bonelli and
               Delia Kesner and
               Carlos Lombardi},
  title     = {A nonstandard standardization theorem},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {659--670},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {http://doi.acm.org/10.1145/2535838.2535886},
  doi       = {10.1145/2535838.2535886},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/AccattoliBKL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rta/LombardiRV14,
  author    = {Carlos Lombardi and
               Alejandro R{\'{\i}}os and
               Roel de Vrijer},
  title     = {Proof Terms for Infinitary Rewriting},
  booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
               {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
               2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  pages     = {303--318},
  year      = {2014},
  crossref  = {DBLP:conf/rta/2014},
  url       = {https://doi.org/10.1007/978-3-319-08918-8_21},
  doi       = {10.1007/978-3-319-08918-8_21},
  timestamp = {Tue, 23 May 2017 01:10:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rta/LombardiRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/LombardiRV14,
  author    = {Carlos Lombardi and
               Alejandro R{\'{\i}}os and
               Roel de Vrijer},
  title     = {Proof terms for infinitary rewriting, progress report},
  journal   = {CoRR},
  volume    = {abs/1402.2245},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.2245},
  archivePrefix = {arXiv},
  eprint    = {1402.2245},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/LombardiRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BonelliKLR14,
  author    = {Eduardo Bonelli and
               Delia Kesner and
               Carlos Lombardi and
               Alejandro R{\'{\i}}os},
  title     = {An abstract normalisation result with applications to non-sequential
               calculi},
  journal   = {CoRR},
  volume    = {abs/1412.2118},
  year      = {2014},
  url       = {http://arxiv.org/abs/1412.2118},
  archivePrefix = {arXiv},
  eprint    = {1412.2118},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BonelliKLR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonelliKLR12,
  author    = {Eduardo Bonelli and
               Delia Kesner and
               Carlos Lombardi and
               Alejandro R{\'{\i}}os},
  title     = {Normalisation for Dynamic Pattern Calculi},
  booktitle = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  pages     = {117--132},
  year      = {2012},
  crossref  = {DBLP:conf/rta/2012},
  url       = {https://doi.org/10.4230/LIPIcs.RTA.2012.117},
  doi       = {10.4230/LIPIcs.RTA.2012.117},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rta/BonelliKLR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-3734,
  author    = {Delia Kesner and
               Carlos Lombardi and
               Alejandro R{\'{\i}}os},
  title     = {A standardisation proof for algebraic pattern calculi},
  booktitle = {Proceedings 5th International Workshop on Higher-Order Rewriting,
               {HOR} 2010, Edinburgh, UK, July 14, 2010.},
  pages     = {58--72},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1102-3465},
  url       = {https://doi.org/10.4204/EPTCS.49.5},
  doi       = {10.4204/EPTCS.49.5},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1102-3734},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rta/2014,
  editor    = {Gilles Dowek},
  title     = {Rewriting and Typed Lambda Calculi - Joint International Conference,
               {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
               2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8560},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08918-8},
  doi       = {10.1007/978-3-319-08918-8},
  isbn      = {978-3-319-08917-1},
  timestamp = {Tue, 23 May 2017 01:10:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rta/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rta/2012,
  editor    = {Ashish Tiwari},
  title     = {23rd International Conference on Rewriting Techniques and Applications
               (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series    = {LIPIcs},
  volume    = {15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12003},
  isbn      = {978-3-939897-38-5},
  timestamp = {Tue, 26 Feb 2013 10:42:10 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/rta/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1102-3465,
  editor    = {Eduardo Bonelli},
  title     = {Proceedings 5th International Workshop on Higher-Order Rewriting,
               {HOR} 2010, Edinburgh, UK, July 14, 2010},
  series    = {{EPTCS}},
  volume    = {49},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.49},
  doi       = {10.4204/EPTCS.49},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1102-3465},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier