Edit Profile (opens in new tab) Cavalcanti de Moura, Flávio Leonardo Co-Author Distance Author ID: de-moura.flavio-l-c 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. more...less External Links: MGP · Wikidata · ResearchGate · dblp · GND Documents Indexed: 11 Publications since 2002, including 1 Book Software Indexed: 1 Package Co-Authors: 6 Co-Authors with 10 Joint Publications 113 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 ▼ 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 3 2008 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 2 2014 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 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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.