André Luiz Galdino

According to our database1, André Luiz Galdino authored at least 10 papers between 2007 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...