Petrucio Viana
发表
Renata P. de Freitas,
Petrucio Viana,
2008,
LSFA.
Mario R. F. Benevides,
Paulo A. S. Veloso,
Renata P. de Freitas,
2010,
Log. J. IGPL.
Maarten Marx,
Balder ten Cate,
Petrucio Viana,
2005,
Log. J. IGPL.
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2009,
Inf. Comput..
Walter Alexandre Carnielli,
Renata P. de Freitas,
Petrucio Viana,
2014,
Log. J. IGPL.
Delia Kesner,
Petrucio Viana,
2012,
LSFA.
Renata P. de Freitas,
Petrucio Viana,
2015,
J. Log. Lang. Inf..
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2006,
WoLLIC.
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2008,
WoLLIC.
Mario R. F. Benevides,
Paulo A. S. Veloso,
Renata P. de Freitas,
2003,
J. Philos. Log..
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2007,
Log. J. IGPL.
Mario R. F. Benevides,
Paulo A. S. Veloso,
Renata P. de Freitas,
2007,
J. Philos. Log..
Renata P. de Freitas,
Petrucio Viana,
Petrucio Viana,
2002,
WoLLIC.
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2010,
Diagrams.
Márcia R. Cerioli,
Petrucio Viana,
Hugo Nobrega,
2014,
Discret. Math..
Mario R. F. Benevides,
Renata P. de Freitas,
Petrucio Viana,
2011,
LSFA.
Juliana Küster Filipe Bowles,
Petrucio Viana,
2014,
WoLLIC.
Delia Kesner,
Petrucio Viana,
2013
.
Renata P. de Freitas,
Petrucio Viana,
2012,
Diagrams.
Humberto Bustince,
Petrucio Viana,
Benjamin Bedregal,
2020,
Fuzzy Sets Syst..
Walter Carnielli,
Edward Hermann Haeusler,
Petrucio Viana,
2017,
Log. J. IGPL.
Renata P. de Freitas,
Petrucio Viana,
2008,
Sci. Comput. Program..
Renata P. de Freitas,
Petrucio Viana,
2014,
Diagrams.
Paulo A. S. Veloso,
Renata P. de Freitas,
Petrucio Viana,
2009,
LFCS.
Márcia R. Cerioli,
Petrucio Viana,
Hugo Nobrega,
2011,
Electron. Notes Discret. Math..
Márcia R. Cerioli,
Petrucio Viana,
Leandro Suguitani,
2021,
Diagrams.
Márcia R. Cerioli,
Petrucio Viana,
Vitor Krauss,
2021,
Anais do II Workshop Brasileiro de Lógica (WBL 2021).