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

download as .bib file

@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 = {Sun, 25 Oct 2020 01:00:00 +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       = {http://ceur-ws.org/Vol-1186/paper-19.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:27 +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       = {http://ceur-ws.org/Vol-106/12-moura.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +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}
}
@article{DBLP:journals/entcs/Ayala-RinconMK02,
  author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Fl{\'{a}}vio L. C. de Moura and
               Fairouz Kamareddine},
  title     = {Comparing Calculi of Explicit Substitutions with Eta-reduction},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {67},
  pages     = {76--95},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80542-5},
  doi       = {10.1016/S1571-0661(04)80542-5},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Ayala-RinconMK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics