Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Motivation -Bohm Trees From Matching to Interpolation Problems Conclusions and Future Work Third-Order Matching via Explicit
 

Summary: Motivation -B¨ohm Trees From Matching to Interpolation Problems Conclusions and Future Work
Third-Order Matching via Explicit
Substitutions
F. L. C. de Moura, M. Ayala-Rinc´on and F. Kamareddine
IV Semin´ario do GTC/UnB
07-08 de dezembro de 2006
F. L. C. de Moura, M. Ayala-Rinc´on and F. Kamareddine
Third-Order Matching via Explicit Substitutions
Motivation -B¨ohm Trees From Matching to Interpolation Problems Conclusions and Future Work
Outline
Motivation
-B¨ohm Trees
From Matching to Interpolation Problems
Conclusions and Future Work
F. L. C. de Moura, M. Ayala-Rinc´on and F. Kamareddine
Third-Order Matching via Explicit Substitutions
Motivation -B¨ohm Trees From Matching to Interpolation Problems Conclusions and Future Work
Outline
Motivation
-B¨ohm Trees

  

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

 

Collections: Mathematics