Carlos Lombardi
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
Journal Articles
- 2017
- [j2]Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Projections for Infinitary Rewriting. Electr. Notes Theor. Comput. Sci. 332: 131-148 (2017) - [j1]Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos:
On abstract normalisation beyond neededness. Theor. Comput. Sci. 672: 36-63 (2017)
Conference and Workshop Papers
- 2014
- [c4]Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi:
A nonstandard standardization theorem. POPL 2014: 659-670 - [c3]Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Proof Terms for Infinitary Rewriting. RTA-TLCA 2014: 303-318 - 2012
- [c2]Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos:
Normalisation for Dynamic Pattern Calculi. RTA 2012: 117-132 - 2010
- [c1]Delia Kesner, Carlos Lombardi, Alejandro Ríos:
A standardisation proof for algebraic pattern calculi. HOR 2010: 58-72
Informal and Other Publications
- 2016
- [i3]Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Projections for infinitary rewriting. CoRR abs/1605.07808 (2016) - 2014
- [i2]Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Proof terms for infinitary rewriting, progress report. CoRR abs/1402.2245 (2014) - [i1]Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos:
An abstract normalisation result with applications to non-sequential calculi. CoRR abs/1412.2118 (2014)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-07 10:47 CET by the dblp team