André Luiz Galdino

According to our database, André Luiz Galdino authored at least 12 papers between 2007 and 2023.

Collaborative distances:

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

2023

Formalization of Algebraic Theorems in PVS (Invited Talk).

Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021

Formalization of Ring Theory in PVS.

Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón

J. Autom. Reason., 2021

2018

Formalizing Ring Theory in PVS.

Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino

Proceedings of the Interactive Theorem Proving - 9th International Conference, 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

2014

First-order unification in the PVS proof assistant.

Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón

Log. J. IGPL, 2014

2011

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010

A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem.

André Luiz Galdino, Mauricio Ayala-Rincón

J. Autom. Reason., 2010

Verification of the Completeness of Unification Algorithms à la Robinson.

Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón

Proceedings of the Logic, 2010

2008

A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language.

André Luiz Galdino, Mauricio Ayala-Rincón

J. Formaliz. Reason., 2008

A PVS Theory for Term Rewriting Systems.

André Luiz Galdino, Mauricio Ayala-Rincón

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

A Theory for Abstract Reduction Systems in PVS.

André Luiz Galdino, Mauricio Ayala-Rincón

CLEI Electron. J., 2008

2007

Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.

André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón

Proceedings of the Logic, 2007