Jos\'e Carlos Bacelar Almeida

Identifiers

• name variant Jos\'e Carlos Bacelar Almeida 0.60 · backfill

Papers (2)

1. Formalization of context-free language theory cs.FL · 2015 · author #4
2. Formalization of the pumping lemma for context-free languages cs.FL · 2015 · author #4

Mentions

• 1510.09092 #4 · backfill · confidence 0.70 Jos\'e Carlos Bacelar Almeida
• 1510.04748 #4 · backfill · confidence 0.70 Jos\'e Carlos Bacelar Almeida

Frequent Coauthors

• Marcus V. M. Ramos 2 shared papers
• Nelma Moreira 2 shared papers
• Ruy J. G. B. de Queiroz 2 shared papers