ROCHA, Thiago Alves; MARTINS, Ana Teresa.
Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 1. , 2016, Porto Alegre.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2016
.
p. 788-791.
ISSN 2595-6116.
DOI: https://doi.org/10.5753/etc.2016.9766.