André Luiz Galdino

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

Collaborative distances:

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

2024

A Formalization of the General Theory of Quaternions.

Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.

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

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 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