Summary: Introduction
Unification Tree Notation
The -calculus
The se -calculus
Comparing the - and the se -styles of unification
Conclusion
Uma Compara¸c~ao do M´etodo de Unifica¸c~ao de
Ordem Superior de Huet e Unifica¸c~ao via
C´alculos de Substitui¸c~oes Expl´icitas
F. L. C. de Moura
Semin´ario de Computa¸c~ao - GTC/UnB
27 de abril de 2005
F.L.C. de Moura HOU a la Huet and a la ES
Introduction
Unification Tree Notation
The -calculus
The se -calculus
Comparing the - and the se -styles of unification
Conclusion
Outline

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics