Search the dblp DataBase
Flávio L. C. de Moura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Flávio L. C. de Moura
Understanding Higher Order Unification via Explicit Substitutions and Patterns. [Citation Graph (0, 0)][DBLP]
IJCAR Doctoral Programme, 2004, pp:- [Conf] - Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Second-Order Matching via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
LPAR, 2004, pp:433-448 [Conf] - Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
Comparing and implementing calculi of explicit substitutions with eta-reduction. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:5-41 [Journal] - Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
Comparing Calculi of Explicit Substitutions with Eta-reduction. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal] - Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. [Citation Graph (0, 0)][DBLP]
Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:119-150 [Journal]
Verification of the Completeness of Unification Algorithms à la Robinson. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002