Elaine Pimentel
发表
Elaine Pimentel,
Elaine Pimentel,
2018,
WoLLIC.
Elaine Pimentel,
Betti Venneri,
Joseph M. Wells,
2011
.
Elaine Pimentel,
Luca Roversi,
Simona Ronchi Della Rocca,
2012,
Fundam. Informaticae.
Elaine Pimentel,
Vivek Nigam,
Giselle Reis,
2016,
J. Log. Comput..
Christian G. Fermüller,
Elaine Pimentel,
Carlos Olarte,
2019,
TABLEAUX.
Elaine Pimentel,
Carlos Olarte,
Björn Lellmann,
2017,
LPAR.
Mario R. F. Benevides,
Elaine Pimentel,
Belo Horizonte,
2008,
LSFA.
Elaine Pimentel,
Carlos Olarte,
Joëlle Despeyroux,
2016,
LSFA.
Elaine Pimentel,
Sonia Marin,
Luiz Carlos Pereira,
2020,
DaLí.
Elaine Pimentel,
2020
.
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity
pdf
Tiziano Dalmonte,
Nicola Olivetti,
Elaine Pimentel,
2020,
J. Log. Comput..
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2017,
Theor. Comput. Sci..
Elaine Pimentel,
Carlos Olarte,
Elaine Pimentel,
2017,
Theor. Comput. Sci..
Elaine Pimentel,
Carlos Olarte,
Joëlle Despeyroux,
2016,
ArXiv.
Dale Miller,
Elaine Pimentel,
Elaine Pimentel,
2013,
Theor. Comput. Sci..
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2006,
FoSSaCS.
Elaine Pimentel,
Vivek Nigam,
João Neto,
2015,
LSFA.
Elaine Pimentel,
Dale Miller,
2002,
TABLEAUX.
Elaine Pimentel,
Carlos Olarte,
Bruno Xavier,
2020,
LSFA.
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2014,
LSFA.
Elaine Pimentel,
Betti Venneri,
Joe Wells,
2010,
ITRS.
Elaine Pimentel,
Vivek Nigam,
Giselle Reis,
2010,
LSFA.
Elaine Pimentel,
Cláudia Nalon,
João Marcos,
2018,
SIGL.
Elaine Pimentel,
Carlos Olarte,
2014,
LSFA.
Elaine Pimentel,
2002
.
Tiziano Dalmonte,
Nicola Olivetti,
Elaine Pimentel,
2020,
LFCS.
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2013,
CONCUR.
Elaine Pimentel,
Kaustuv Chaudhuri,
Carlos Olarte,
2019,
Math. Struct. Comput. Sci..
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2014,
Theory Pract. Log. Program..
Elaine Pimentel,
Luiz Carlos Pereira,
Valeria de Paiva,
2019,
Synthese.
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2011,
Theor. Comput. Sci..
Camilo Rueda,
Elaine Pimentel,
Néstor Cataño,
2012,
PPDP.
Elaine Pimentel,
Carlos Olarte,
Björn Lellmann,
2016,
LSFA.
Elaine Pimentel,
Björn Lellmann,
Björn Lellmann,
2015,
LPAR.
Camilo Rueda,
Elaine Pimentel,
Carlos Olarte,
2018,
Theory Pract. Log. Program..
Dale Miller,
Elaine Pimentel,
2005,
LPAR.
Elaine Pimentel,
Carlos Olarte,
Camilo Rocha,
2021,
J. Log. Algebraic Methods Program..
Elaine Pimentel,
2015
.
Elaine Pimentel,
Valeria de Paiva,
Carlos Olarte,
2019,
Linearity-TLLA@FLoC.
Elaine Pimentel,
Carlos Olarte,
Camilo Rocha,
2018,
WRLA@ETAPS.
Elaine Pimentel,
2018,
ArXiv.
Elaine Pimentel,
Simona Ronchi della Rocca,
2012
.
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2015,
Theor. Comput. Sci..
Elaine Pimentel,
Björn Lellmann,
Björn Lellmann,
2017,
ACM Trans. Comput. Log..
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2005,
Electron. Notes Theor. Comput. Sci..
Elaine Pimentel,
Simona Ronchi Della Rocca,
2012
.
Mario R. F. Benevides,
Elaine Pimentel,
Valeria de Paiva,
2014,
Electron. Notes Theor. Comput. Sci..
Elaine Pimentel,
Revantha Ramanayake,
Björn Lellmann,
2019,
TABLEAUX.
Elaine Pimentel,
Vivek Nigam,
Carlos Olarte,
2021,
FSCD.
Elaine Pimentel,
Enrico Tassi,
2021,
LFMTP.
Elaine Pimentel,
2021
.
Elaine Pimentel,
Luca Roversi,
Simona Ronchi Della Rocca,
2004
.