Ana Cristina Rocha Oliveira

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Function Symbols

Top Venues

Theor. Comput. Sci.

J. Autom. Reason.

Publications