Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Unification Tree Notation
 

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