Carlos Lombardi

Identifiers

• name variant Carlos Lombardi 0.60 · backfill

Papers (3)

1. Projections for infinitary rewriting cs.LO · 2016 · author #1
2. On abstract normalisation beyond neededness cs.LO · 2014 · author #3
3. Proof terms for infinitary rewriting, progress report cs.LO · 2014 · author #1

Mentions

• 1412.2118 #3 · backfill · confidence 0.70 Carlos Lombardi
• 1402.2245 #1 · backfill · confidence 0.70 Carlos Lombardi

Frequent Coauthors

• Alejandro R\'ios 2 shared papers
• Roel de Vrijer 2 shared papers
• Alejandro Rios 1 shared papers
• Delia Kesner 1 shared papers
• Eduardo Bonelli 1 shared papers