Flávio L. C. de Moura

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 3

Top Topics

Johnson Lindenstrauss

Average Distance

Sequent Calculi

Top Venues

Publications

Maria J. D. Lima, Flávio L. C. de Moura
A Formalized Extension of the Substitution Lemma in Coq. FROM (2023)
Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
The Computational Relevance of Formal Logic Through Formal Proofs. FMTea (2019)
Flávio L. C. de Moura
Unification for \lambda -calculi Without Propagation Rules. ICTAC (2016)
Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón
Metaconfluence of Calculi with Explicit Substitutions at a Distance. FSTTCS (2014)
Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura
Formalizing a Named Explicit Substitutions Calculus in Coq. CICM Workshops (2014)
Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón
A Formalization of the Theorem of Existence of First-Order Most General Unifiers LSFA (2011)
Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. LSFA (2010)
Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
Verification of the Completeness of Unification Algorithms à la Robinson. WoLLIC (2010)
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Appl. Log. 6 (1) (2008)
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. J. Appl. Non Class. Logics 16 (1-2) (2006)
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Log. 134 (1) (2005)
Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Second-Order Matching via Explicit Substitutions. LPAR (2004)
Flávio L. C. de Moura
Understanding Higher Order Unification via Explicit Substitutions and Patterns. IJCAR Doctoral Programme (2004)
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine
Comparing Calculi of Explicit Substitutions with Eta-reduction. Electron. Notes Theor. Comput. Sci. 67 (2002)