BibTeX records: Flávio L. C. de Moura

• > Home > Persons > Flávio L. C. de Moura

@inproceedings{DBLP:journals/corr/abs-2309-13801,
  author       = {Maria J. D. Lima and
                  Fl{\'{a}}vio L. C. de Moura},
  editor       = {Horatiu Cheval and
                  Laurentiu Leustean and
                  Andrei Sipos},
  title        = {A Formalized Extension of the Substitution Lemma in Coq},
  booktitle    = {Proceedings 7th Symposium on Working Formal Methods, {FROM} 2023,
                  Bucharest, Romania, 21-22 September 2023},
  series       = {{EPTCS}},
  volume       = {389},
  pages        = {80--95},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.389.7},
  doi          = {10.4204/EPTCS.389.7},
  timestamp    = {Tue, 31 Oct 2023 16:42:51 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-13801.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tfm/AlmeidaORMA99,
  author       = {Ariane Alves Almeida and
                  Ana Cristina Rocha Oliveira and
                  Thiago Mendon{\c{c}}a Ferreira Ramos and
                  Fl{\'{a}}vio L. C. de Moura and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Brijesh Dongol and
                  Luigia Petre and
                  Graeme Smith},
  title        = {The Computational Relevance of Formal Logic Through Formal Proofs},
  booktitle    = {Formal Methods Teaching - Third International Workshop and Tutorial,
                  FMTea 2019, Held as Part of the Third World Congress on Formal Methods,
                  {FM} 2019, Porto, Portugal, October 7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11758},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32441-4\_6},
  doi          = {10.1007/978-3-030-32441-4\_6},
  timestamp    = {Thu, 07 Apr 2022 08:44:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tfm/AlmeidaORMA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/utcs/Ayala-RinconM17,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fl{\'{a}}vio L. C. de Moura},
  title        = {Applied Logic for Computer Scientists - Computational Deduction and
                  Formal Proofs},
  series       = {Undergraduate Topics in Computer Science},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51653-0},
  doi          = {10.1007/978-3-319-51653-0},
  isbn         = {978-3-319-51651-6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/utcs/Ayala-RinconM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Moura16,
  author       = {Fl{\'{a}}vio L. C. de Moura},
  editor       = {Augusto Sampaio and
                  Farn Wang},
  title        = {Unification for {\textbackslash}lambda -calculi Without Propagation
                  Rules},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
                  Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9965},
  pages        = {179--195},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46750-4\_11},
  doi          = {10.1007/978-3-319-46750-4\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/Moura16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/AvelarGMA14,
  author       = {Andr{\'{e}}ia Borges Avelar and
                  Andr{\'{e}} Luiz Galdino and
                  Fl{\'{a}}vio Leonardo Cavalcanti de Moura and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  title        = {First-order unification in the {PVS} proof assistant},
  journal      = {Log. J. {IGPL}},
  volume       = {22},
  number       = {5},
  pages        = {758--789},
  year         = {2014},
  url          = {https://doi.org/10.1093/jigpal/jzu012},
  doi          = {10.1093/JIGPAL/JZU012},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AvelarGMA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/MouraKA14,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  Delia Kesner and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Venkatesh Raman and
                  S. P. Suresh},
  title        = {Metaconfluence of Calculi with Explicit Substitutions at a Distance},
  booktitle    = {34th International Conference on Foundation of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
                  New Delhi, India},
  series       = {LIPIcs},
  volume       = {29},
  pages        = {391--402},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.391},
  doi          = {10.4230/LIPICS.FSTTCS.2014.391},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MouraKA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SegundoMV14,
  author       = {Washington de Carvalho Segundo and
                  Fl{\'{a}}vio L. C. de Moura and
                  Daniel Ventura},
  editor       = {Matthew England and
                  James H. Davenport and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Paul Libbrecht and
                  Walther Neuper and
                  Pedro Quaresma and
                  Alan P. Sexton and
                  Petr Sojka and
                  Josef Urban and
                  Stephen M. Watt},
  title        = {Formalizing a Named Explicit Substitutions Calculus in Coq},
  booktitle    = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
                  Work in Progress track at {CICM} co-located with Conferences on Intelligent
                  Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1186},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1186/paper-19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/SegundoMV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1203-6160,
  author       = {Andr{\'{e}}ia B. Avelar and
                  Andr{\'{e}} Luiz Galdino and
                  Fl{\'{a}}vio L. C. de Moura and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Simona Ronchi Della Rocca and
                  Elaine Pimentel},
  title        = {A Formalization of the Theorem of Existence of First-Order Most General
                  Unifiers},
  booktitle    = {Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications,
                  {LSFA} 2011, Belo Horizonte, Brazil, 27 August 2011},
  series       = {{EPTCS}},
  volume       = {81},
  pages        = {63--78},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.81.5},
  doi          = {10.4204/EPTCS.81.5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-6160.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/AvelarMGA10,
  author       = {Andr{\'{e}}ia B. Avelar and
                  Fl{\'{a}}vio L. C. de Moura and
                  Andr{\'{e}} Luiz Galdino and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Anuj Dawar and
                  Ruy J. G. B. de Queiroz},
  title        = {Verification of the Completeness of Unification Algorithms {\`{a}}
                  la Robinson},
  booktitle    = {Logic, Language, Information and Computation, 17th International Workshop,
                  WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6188},
  pages        = {110--124},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13824-9\_10},
  doi          = {10.1007/978-3-642-13824-9\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/AvelarMGA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MouraBAK11,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  A. V. Barbosa and
                  Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {A Flexible Framework for Visualisation of Computational Properties
                  of General Explicit Substitutions Calculi},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {41--54},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.004},
  doi          = {10.1016/J.ENTCS.2011.03.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MouraBAK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/MouraAK08,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Higher-Order Unification: {A} structural relation between Huet's method
                  and the one based on explicit substitutions},
  journal      = {J. Appl. Log.},
  volume       = {6},
  number       = {1},
  pages        = {72--108},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jal.2006.10.001},
  doi          = {10.1016/J.JAL.2006.10.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/MouraAK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/MouraAK06,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {{SUBSEXPL:} a tool for simulating and comparing explicit substitutions
                  calculi},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {16},
  number       = {1-2},
  pages        = {119--150},
  year         = {2006},
  url          = {https://doi.org/10.3166/jancl.16.119-150},
  doi          = {10.3166/JANCL.16.119-150},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/MouraAK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Ayala-RinconMK05,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fl{\'{a}}vio L. C. de Moura and
                  Fairouz Kamareddine},
  title        = {Comparing and implementing calculi of explicit substitutions with
                  eta-reduction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {134},
  number       = {1},
  pages        = {5--41},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.apal.2004.06.009},
  doi          = {10.1016/J.APAL.2004.06.009},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ayala-RinconMK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Moura04,
  author       = {Fl{\'{a}}vio L. C. de Moura},
  editor       = {Ulrike Sattler},
  title        = {Understanding Higher Order Unification via Explicit Substitutions
                  and Patterns},
  booktitle    = {Contributions to the Doctoral Programme of the 2nd International Joint
                  Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {106},
  publisher    = {CEUR-WS.org},
  year         = {2004},
  url          = {https://ceur-ws.org/Vol-106/12-moura.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Moura04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/MouraKA04,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  Fairouz Kamareddine and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Second-Order Matching via Explicit Substitutions},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {433--448},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_29},
  doi          = {10.1007/978-3-540-32275-7\_29},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/MouraKA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Ayala-RinconMK02,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fl{\'{a}}vio L. C. de Moura and
                  Fairouz Kamareddine},
  editor       = {Ruy J. G. B. de Queiroz and
                  Luiz Carlos Pereira and
                  Edward Hermann Haeusler},
  title        = {Comparing Calculi of Explicit Substitutions with Eta-reduction},
  booktitle    = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
                  2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {67},
  pages        = {76--95},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80542-5},
  doi          = {10.1016/S1571-0661(04)80542-5},
  timestamp    = {Mon, 05 Dec 2022 16:07:41 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ayala-RinconMK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}