Ana Cristina Rocha Oliveira

Publication Activity (10 Years)

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

Top Topics

Function Symbols

Top Venues

Theor. Comput. Sci.

J. Autom. Reason.

Publications

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781 (2019)
Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
The Computational Relevance of Formal Logic Through Formal Proofs. FMTea (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
Nominal essential intersection types. Theor. Comput. Sci. 737 (2018)
Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. J. Autom. Reason. 58 (2) (2017)
Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira
Completeness in PVS of a Nominal Unification Algorithm. LSFA (2015)
Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira
Checking Overlaps of Nominal Rewriting Rules. LSFA (2015)
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón
Formalizing the Confluence of Orthogonal Rewriting Systems LSFA (2012)