Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Explicit Substitutions
 

Summary: Introduction
Explicit Substitutions
Second-Order Matching via Explicit Substitutions
Third-order Matching via Explicit Substitutions
Conclusion and Future Work
Matching via Explicit Substitutions
F. L. C. de Moura
GTC/UnB
June 1, 2005
F.L.C. de Moura Matching via Explicit Substitutions
Introduction
Explicit Substitutions
Second-Order Matching via Explicit Substitutions
Third-order Matching via Explicit Substitutions
Conclusion and Future Work
Outline
Introduction
Motivation
Definition and a Small Example
Explicit Substitutions

  

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

 

Collections: Mathematics