Ana Cristina Rocha Oliveira

According to our database, Ana Cristina Rocha Oliveira authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

A formalisation of nominal <i>α</i>-equivalence with A, C, and AC function symbols.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira

Theor. Comput. Sci., 2019

The Computational Relevance of Formal Logic Through Formal Proofs.

Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

Nominal essential intersection types.

Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura

Theor. Comput. Sci., 2018

2017

Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System.

Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón

J. Autom. Reason., 2017

2015

Completeness in PVS of a Nominal Unification Algorithm.

Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Checking Overlaps of Nominal Rewriting Rules.

Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2012

Formalizing the Confluence of Orthogonal Rewriting Systems

Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012