Flávio L. C. de Moura

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