Marcus Vin\'icius Midena Ramos
Identifiers
- name variant Marcus Vin\'icius Midena Ramos 0.60 · backfill
Papers (1)
- Context-Free Language Theory Formalization cs.FL · 2015 · author #1
Mentions
- 1505.00061 #1 · backfill · confidence 0.70 Marcus Vin\'icius Midena Ramos
Frequent Coauthors
- Ruy J. G. B. de Queiroz 1 shared papers