Ariane Alves Almeida

Formalizing the Dependency Pair Criterion for Innermost Termination pdf

Ariane Alves Almeida, Mauricio Ayala-Rincon, M. Ayala-Rincón, 2019, Sci. Comput. Program..

The Computational Relevance of Formal Logic Through Formal Proofs

Mauricio Ayala-Rincón, Thiago Mendonça Ferreira Ramos, Ana Cristina Rocha Oliveira, 2019, FMTea.

Verification of hardware implementations through correctness of their recursive definitions in PVS

Carlos H. Llanos, Mauricio Ayala-Rincón, Janier Arias-Garcia, 2014, 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).

Formal Verification of Termination Criteria for First-Order Recursive Functions

Mariano M. Moscato, César A. Muñoz, Mauricio Ayala-Rincón, 2021, ITP.

Formalization of Rice ’ s Theorem over a Functional Language Model

Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, M. Ayala-Rincón, 2019 .

Formalization of the Computational Theory of a Turing Complete Functional Language Model

Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, M. Ayala-Rincón, 2022, Journal of Automated Reasoning.