Carlos Lombardi
Identifiers
- name variant Carlos Lombardi 0.60 · backfill
Papers (3)
- Projections for infinitary rewriting cs.LO · 2016 · author #1
- On abstract normalisation beyond neededness cs.LO · 2014 · author #3
- Proof terms for infinitary rewriting, progress report cs.LO · 2014 · author #1
Mentions
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