default search action
Search dblp for Publications
export results for "toc:db/journals/jfrea/jfrea1.bht:"
@article{DBLP:journals/jfrea/AspertiA08, author = {Andrea Asperti and Cristian Armentano}, title = {A Page in Number Theory}, journal = {J. Formaliz. Reason.}, volume = {1}, number = {1}, pages = {1--23}, year = {2008}, url = {https://doi.org/10.6092/issn.1972-5787/385}, doi = {10.6092/ISSN.1972-5787/385}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfrea/AspertiA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfrea/CoenT08, author = {Claudio Sacerdoti Coen and Enrico Tassi}, title = {A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita}, journal = {J. Formaliz. Reason.}, volume = {1}, number = {1}, pages = {51--89}, year = {2008}, url = {https://doi.org/10.6092/issn.1972-5787/1334}, doi = {10.6092/ISSN.1972-5787/1334}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfrea/CoenT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfrea/GaldinoA08, author = {Andr{\'{e}} Luiz Galdino and Mauricio Ayala{-}Rinc{\'{o}}n}, title = {A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language}, journal = {J. Formaliz. Reason.}, volume = {1}, number = {1}, pages = {39--50}, year = {2008}, url = {https://doi.org/10.6092/issn.1972-5787/1347}, doi = {10.6092/ISSN.1972-5787/1347}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfrea/GaldinoA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfrea/VidalADMP08, author = {Concepci{\'{o}}n Vidal and Felicidad Aguado and Jos{\'{e}} Luis Doncel and Jos{\'{e}} Mar{\'{\i}}a Molinelli and Gilberto P{\'{e}}rez}, title = {Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator}, journal = {J. Formaliz. Reason.}, volume = {1}, number = {1}, pages = {25--37}, year = {2008}, url = {https://doi.org/10.6092/issn.1972-5787/1052}, doi = {10.6092/ISSN.1972-5787/1052}, timestamp = {Thu, 16 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfrea/VidalADMP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.