André Luiz Galdino
According to our database1, André Luiz Galdino authored at least 10 papers between 2007 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Formalizing Ring Theory in PVS.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System.
J. Autom. Reasoning, 2017
First-order unification in the PVS proof assistant.
Logic Journal of the IGPL, 2014
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
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
A PVS Theory for Term Rewriting Systems.
Electr. Notes Theor. Comput. Sci., 2009
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
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
Proceedings of the Logic, 2007