Francicleber Martins Ferreira

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 7

Top Topics

Decision Problems

Quantifier Elimination

Polynomial Hierarchy

Top Venues

Theor. Comput. Sci.

J. Comput. Syst. Sci.

J. Log. Comput.

Federal University of Ceará, Fortaleza, Brazil (PHD)

Education History

Federal University of Ceará, Fortaleza, Brazil

PHD

Publications