# André Luiz Galdino

According to our database

Collaborative distances:

^{1}, André Luiz Galdino authored at least 10 papers between 2007 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Formalizing Ring Theory in PVS.

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

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

J. Autom. Reasoning, 2017

2014

First-order unification in the PVS proof assistant.

Logic Journal of the IGPL, 2014

2011

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

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.

J. Autom. Reasoning, 2010

Verification of the Completeness of Unification Algorithms à la Robinson.

Proceedings of the Logic, 2010

2009

A PVS Theory for Term Rewriting Systems.

Electr. Notes Theor. Comput. Sci., 2009

2008

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

J. Formalized Reasoning, 2008

A Theory for Abstract Reduction Systems in PVS.

CLEI Electron. J., 2008

2007

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

Proceedings of the Logic, 2007