Alejandro R\'ios

Identifiers

• name variant Alejandro R\'ios 0.60 · backfill

Papers (2)

1. Projections for infinitary rewriting cs.LO · 2016 · author #2
2. Proof terms for infinitary rewriting, progress report cs.LO · 2014 · author #2

Mentions

• 1402.2245 #2 · backfill · confidence 0.70 Alejandro R\'ios

Frequent Coauthors

• Carlos Lombardi 2 shared papers
• Roel de Vrijer 2 shared papers