FLC de Moura
FLC de Moura
E-mail confirmado em unb.br - Página inicial
Título
Citado por
Citado por
Ano
Comparing and implementing calculi of explicit substitutions with eta-reduction
M Ayala-Rincón, FLC de Moura, F Kamareddine
Annals of Pure and Applied Logic 134 (1), 5-41, 2005
202005
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
M Ayala-Rincón, FLC De Moura
Springer, 2017
172017
Fundamentos da Programaçao Lógica e Funcional—O princıpio de resoluçao e a teoria de reescrita—
M Ayala-Rincón, FLC de Moura
Editora UnB, 2014
142014
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
FLC de Moura, M Ayala-Rincón, F Kamareddine
Journal of Applied Logic 6 (1), 72-108, 2008
132008
First-order unification in the PVS proof assistant
AB Avelar, AL Galdino, FLC de Moura, M Ayala-Rincón
Logic Journal of the IGPL 22 (5), 758-789, 2014
112014
Second-order matching via explicit substitutions
FLC De Moura, F Kamareddine, M Ayala-Rincón
International Conference on Logic for Programming Artificial Intelligence …, 2005
102005
Verification of the completeness of unification algorithms à la Robinson
AB Avelar, FLC de Moura, AL Galdino, M Ayala-Rincón
International Workshop on Logic, Language, Information, and Computation, 110-124, 2010
62010
The Computational Relevance of Formal Logic Through Formal Proofs
AA Almeida, AC Rocha-Oliveira, TMF Ramos, FLC de Moura, ...
Formal Methods Teaching Workshop, 81-96, 2019
42019
Formalization of security proofs using PVS in the Dolev-Yao model
RB Nogueira, M Ayala-rincón, AC Do, FLC De Moura
42010
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi★
FLC De Moura, M Ayala-Rincón, F Kamareddine
Journal of Applied Non-Classical Logics 16 (1-2), 119-150, 2006
42006
Metaconfluence of calculi with explicit substitutions at a distance
FLC de Moura, D Kesner, M Ayala-Rincón
34th International Conference on Foundation of Software Technology and …, 2014
32014
A formalization of the theorem of existence of first-order most general unifiers
AB Avelar, AL Galdino, FLC de Moura, M Ayala-Rincón
arXiv preprint arXiv:1203.6160, 2012
32012
The correctness of the AKS primality test in Coq
FLC De Moura, R Tadeu
July, 2008
32008
Higher-order unification via explicit substitutions at a distance
FLC de Moura
LSFA, 2014
22014
Comparing Calculi of Explicit Substitutions with Eta-reduction
M Ayala-Rincón, FLC de Moura, F Kamareddine
Electronic Notes in Theoretical Computer Science 67, 76-95, 2002
22002
Metaconfluence of explicit substitutions calculi at a distance
FLC de Moura, D Kesner, M Ayala-Rincón
preparation, 2014
12014
Third-Order Matching via Explicit Substitutions
FLC De Moura, M Ayala-Rincón, F Kamareddine
Departamento de Matemática, Universidade de Brasılia, unpublished document …, 2005
12005
Comparando Cálculos de Substituiçoes Explıcitas com Eta-conversao
FLC de Moura
Brasılia, 2002
12002
Applied Logic for Computer Scientists
M Ayala-Rincón, FLC de Moura
2018
Derivations and Formalizations
M Ayala-Rincón, FLC de Moura
Applied Logic for Computer Scientists, 95-119, 2017
2017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20