Flvio L. C. de Moura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2016
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICTAC | Unification for \lambda -calculi Without Propagation Rules. | Flvio L. C. de Moura |
| 2010 | WoLLIC | Verification of the Completeness of Unification Algorithms la Robinson. | Andria B. Avelar, Flvio L. C. de Moura, Andr Luiz Galdino, Mauricio Ayala-Rincn |
| 2004 | CADE | Understanding Higher Order Unification via Explicit Substitutions and Patterns. | Flvio L. C. de Moura |
| 2004 | LPAR | Second-Order Matching via Explicit Substitutions. | Flvio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincn |