×
Edit Profile (opens in new tab)

Cavalcanti de Moura, Flávio Leonardo

Co-Author Distance
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, Flávio L. C.; de Moura, Flávio Leonardo Cavalcanti; de Moura, F. L. C.
External Links: MGP · ResearchGate · dblp · GND
Documents Indexed: 11 Publications since 2002, including 1 Book
Co-Authors: 6 Co-Authors with 10 Joint Publications
108 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
10 Ayala-Rincón, Mauricio
6 Kamareddine, Fairouz D.
2 Avelar, Andréia Borges
2 Galdino, André Luiz
1 Barbosa, Adriano V.
1 Kesner, Delia

Serials

1 Annals of Pure and Applied Logic
1 Journal of Applied Non-Classical Logics
1 Logic Journal of the IGPL
1 Journal of Applied Logic
1 Undergraduate Topics in Computer Science

Fields

9 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 15 times in 9 Documents Cited by ▼ Year ▼
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
3
2008
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
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
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
2
2014
Second-order matching via explicit substitutions. Zbl 1108.03308
de Moura, Flávio L. C.; Kamareddine, Fairouz; Ayala-Rincón, Mauricio
2
2005
First-order unification in the PVS proof assistant. Zbl 1407.68430
Avelar, Andréia Borges; Galdino, André Luiz; de Moura, Flávio Leonardo Cavalcanti; Ayala-Rincón, Mauricio
2
2014
Applied logic for computer scientists. Computational deduction and formal proofs. Zbl 1401.03001
Ayala-Rincón, Mauricio; de Moura, Flávio L. C.
1
2017
Applied logic for computer scientists. Computational deduction and formal proofs. Zbl 1401.03001
Ayala-Rincón, Mauricio; de Moura, Flávio L. C.
1
2017
Metaconfluence of calculi with explicit substitutions at a distance. Zbl 1360.68324
De Moura, Flávio L. C.; Kesner, Delia; Ayala-Rincón, Mauricio
2
2014
First-order unification in the PVS proof assistant. Zbl 1407.68430
Avelar, Andréia Borges; Galdino, André Luiz; de Moura, Flávio Leonardo Cavalcanti; Ayala-Rincón, Mauricio
2
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
3
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
all cited Publications top 5 cited Publications
all top 5

Cited by 13 Authors

6 Ayala-Rincón, Mauricio
4 Cavalcanti de Moura, Flávio Leonardo
3 Kamareddine, Fairouz D.
2 Galdino, André Luiz
2 Rocha-Oliveira, Ana Cristina
1 Aoto, Takahito
1 Avelar, Andréia Borges
1 Barbosa, Adriano V.
1 Bhayat, Ahmed
1 de Lima, Thaynara Arielly
1 Fernández, Maribel
1 Kikuchi, Kentaro
1 Reger, Giles

Cited in 3 Serials

2 Journal of Automated Reasoning
1 Journal of Applied Non-Classical Logics
1 Journal of Applied Logic

Cited in 5 Fields

8 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
1 Commutative algebra (13-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)

Citations by Year