Catarina Carvalho
发表
Barnaby Martin,
Florent R. Madelaine,
Catarina Carvalho,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2011,
J. Log. Comput..
Miklós Maróti,
Víctor Dalmau,
Petar Markovic,
2007,
ArXiv.
Andrei A. Krokhin,
Catarina Carvalho,
2016,
Int. J. Algebra Comput..
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2017,
MFCS.
Todd Niven,
László Egri,
Marcel Jackson,
2011,
Electron. J. Comb..
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2017,
ArXiv.
Andrei A. Krokhin,
Víctor Dalmau,
Catarina Carvalho,
2010,
Theor. Comput. Sci..
Barnaby Martin,
Catarina Carvalho,
B. Martin,
2021,
Int. J. Algebra Comput..
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation
pdf
Barnaby Martin,
Dmitriy Zhuk,
Catarina Carvalho,
2021,
ArXiv.
Todd Niven,
László Egri,
Marcel Jackson,
2015
.
Nik Ruskuc,
Catarina Carvalho,
Rob Gray,
2011,
Journal of the Australian Mathematical Society.