×

zbMATH — the first resource for mathematics

Cavalcanti de Moura, Flávio Leonardo

Compute Distance To:
Author ID: de-moura.flavio-l-c Recent zbMATH articles by "Cavalcanti de Moura, Flávio Leonardo"
Published as: De Moura, Flávio L. C.; de Moura, F. L. C.; de Moura, Flávio L. C.; de Moura, Flávio Leonardo Cavalcanti
External Links: MGP · ResearchGate · dblp · GND
Documents Indexed: 11 Publications since 2002, including 1 Book

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 10 times in 4 Documents Cited by Year
Comparing and implementing calculi of explicit substitutions with eta-reduction. Zbl 1067.03042
Ayala-Rincón, Mauricio; de Moura, Flávio L. C.; Kamareddine, Fairouz
3
2005
Higher-order unification: a structural relation between Huet’s method and the one based on explicit substitutions. Zbl 1138.03014
de Moura, Flávio L. C.; Ayala-Rincón, Mauricio; Kamareddine, Fairouz
2
2008
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. Zbl 1184.68469
de Moura, F. L. C.; Ayala-Rincón, M.; Kamareddine, F.
2
2006
Second-order matching via explicit substitutions. Zbl 1108.03308
de Moura, Flávio L. C.; Kamareddine, Fairouz; Ayala-Rincón, Mauricio
2
2005
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
1
2014
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
1
2014
Higher-order unification: a structural relation between Huet’s method and the one based on explicit substitutions. Zbl 1138.03014
de Moura, Flávio L. C.; Ayala-Rincón, Mauricio; Kamareddine, Fairouz
2
2008
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. Zbl 1184.68469
de Moura, F. L. C.; Ayala-Rincón, M.; Kamareddine, F.
2
2006
Comparing and implementing calculi of explicit substitutions with eta-reduction. Zbl 1067.03042
Ayala-Rincón, Mauricio; de Moura, Flávio L. C.; Kamareddine, Fairouz
3
2005
Second-order matching via explicit substitutions. Zbl 1108.03308
de Moura, Flávio L. C.; Kamareddine, Fairouz; Ayala-Rincón, Mauricio
2
2005

Citations by Year