Carlos Lombardi

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 5

Top Topics

Radon Transform

Queries Using Views

Linear Projection

Top Venues

Theor. Comput. Sci.

Publications

Nicolás Passerini, Carlos Lombardi
Postponing the Concept of Class When Introducing OOP. ITiCSE (2020)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting (extended version). Theor. Comput. Sci. 781 (2019)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
On abstract normalisation beyond neededness. Theor. Comput. Sci. 672 (2017)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting. CoRR (2016)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for Infinitary Rewriting. LSFA (2016)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
An abstract normalisation result with applications to non-sequential calculi. CoRR (2014)
Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
A nonstandard standardization theorem. POPL (2014)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof Terms for Infinitary Rewriting. RTA-TLCA (2014)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof terms for infinitary rewriting, progress report. CoRR (2014)
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
Normalisation for Dynamic Pattern Calculi. RTA (2012)
Delia Kesner, Carlos Lombardi, Alejandro Ríos
A standardisation proof for algebraic pattern calculi HOR (2010)