João Marcos
发表
Walter Carnielli,
João Marcos,
2001
.
João Marcos,
2011
.
João Marcos,
Carlos Caleiro,
J. Martin Marcos,
2009,
WoLLIC.
João Marcos,
Carlos Caleiro,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
João Marcos,
2004
.
João Marcos,
2005
.
João Marcos,
Adriano Dodó,
J. Martin Marcos,
2013,
IMLA@UNILOG.
João Marcos,
2009,
RULE.
Walter Alexandre Carnielli,
Diderik Batens,
João Marcos,
2005,
J. Appl. Log..
João Marcos,
2008,
J. Appl. Non Class. Logics.
Benjamín R. C. Bedregal,
Regivan H. N. Santiago,
João Marcos,
2019,
J. Multiple Valued Log. Soft Comput..
João Marcos,
Patrick Terrematte,
2015,
ArXiv.
João Marcos,
Patrick Terrematte,
Fabrício Costa,
2011,
TICTTL.
Walter Alexandre Carnielli,
João Marcos,
1999,
Notre Dame J. Formal Log..
Diderik Batens,
Walter Carnielli,
João Marcos,
2002
.
João Marcos,
Carlos Caleiro,
Sérgio Marcelino,
2017,
FroCoS.
Clare Dixon,
Cláudia Nalon,
João Marcos,
2014,
IJCAR.
Pedro Quaresma,
Walther Neuper,
João Marcos,
2020
.
Pedro Quaresma,
Walther Neuper,
João Marcos,
2020,
ThEdu@CADE.
João Marcos,
Duarte Matos,
2008
.
João Marcos,
2015,
ArXiv.
Ori Lahav,
Yoni Zohar,
João Marcos,
2019,
Logica Universalis.
Manuel A. Martins,
Diana Costa,
João Marcos,
2019,
FLAP.
Elaine Pimentel,
Cláudia Nalon,
João Marcos,
2018,
SIGL.
Umberto Rivieccio,
Matthew Spinks,
João Marcos,
2018,
WoLLIC.
Benjamín R. C. Bedregal,
João Marcos,
Claudio Callejas,
2012,
WoLLIC.
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
pdf
Marco Volpe,
João Marcos,
Carlos Caleiro,
2014,
Theor. Comput. Sci..
João Marcos,
Carlos Caleiro,
Carolina Blasio,
2019,
Synthese.
Ori Lahav,
Yoni Zohar,
João Marcos,
2017,
Logica Universalis.
Ori Lahav,
Yoni Zohar,
João Marcos,
2016,
Advances in Modal Logic.
João Marcos,
Henrique Silva,
Alex Garcia,
2009
.
Marco Volpe,
João Marcos,
Carlos Caleiro,
2012,
WoLLIC.
João Marcos,
Carlos Caleiro,
2001
.
Paula Gouveia,
João Marcos,
F. Miguel Diońısio,
2004
.
Benjamín R. C. Bedregal,
Regivan H. N. Santiago,
João Marcos,
2019,
IFSA/NAFIPS.
João Marcos,
Carlos Caleiro,
J. Martin Marcos,
2012,
J. Multiple Valued Log. Soft Comput..
João Marcos,
Dalmo Mendonca,
J. Martin Marcos,
2008,
PAAR/ESHOL.
João Marcos,
Carlos Caleiro,
2009
.
João Marcos,
J. Martin Marcos,
2005,
J. Appl. Log..
Walter Alexandre Carnielli,
Sandra de Amo,
João Marcos,
2002,
FoIKS.
João Marcos,
Flaulles Boone Bergamaschi,
Adriano Dodó,
2013,
2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS).
João Marcos,
Carlos Caleiro,
Sérgio Marcelino,
2019,
Soft Comput..
João Marcos,
2006
.
João Marcos,
J. Martin Marcos,
2009,
Stud Logica.
João Marcos,
Amy Felty,
2020,
LSFA.
Cláudia Nalon,
João Marcos,
João Marcos,
2016
.
João Marcos,
J. Martin Marcos,
2005
.
João Marcos,
J. Martin Marcos,
2005
.
João Marcos,
2000
.
João Marcos,
J. Martin Marcos,
2005
.