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