Publications
- Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
- Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Daniele Nantes-Sobrinho, Pascal Fontaine
- Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
- Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
- Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
- Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
- Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
- Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
- Alexander Baumgartner, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
- Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-SobrinhoNominal C-Unification. CoRR (2017)
- Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
- Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho