Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs186.bht:"
@inproceedings{DBLP:journals/corr/0002B15, author = {Ali Assaf and Guillaume Burel}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Translating {HOL} to Dedukti}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {74--88}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.8}, doi = {10.4204/EPTCS.186.8}, timestamp = {Wed, 16 Mar 2022 23:52:32 +0100}, biburl = {https://dblp.org/rec/journals/corr/0002B15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/0002C15, author = {Ali Assaf and Rapha{\"{e}}l Cauderlier}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Mixing {HOL} and Coq in Dedukti (Extended Abstract)}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {89--96}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.9}, doi = {10.4204/EPTCS.186.9}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/0002C15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Adams15a, author = {Mark Adams}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {The Common {HOL} Platform}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {42--56}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.6}, doi = {10.4204/EPTCS.186.6}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Adams15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BenzmullerCS15, author = {Christoph Benzm{\"{u}}ller and Maximilian Claus and Nik Sultana}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Systematic Verification of the Modal Logic Cube in Isabelle/HOL}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {27--41}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.5}, doi = {10.4204/EPTCS.186.5}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BenzmullerCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CauderlierH15, author = {Rapha{\"{e}}l Cauderlier and Pierre Halmagrand}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Checking Zenon Modulo Proofs in Dedukti}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {57--73}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.7}, doi = {10.4204/EPTCS.186.7}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CauderlierH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HeathM15, author = {Quentin Heath and Dale Miller}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {A framework for proof certificates in finite state exploration}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {11--26}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.4}, doi = {10.4204/EPTCS.186.4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HeathM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Reis15, author = {Giselle Reis}, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Importing {SMT} and Connection proofs as expansion trees}, booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, pages = {3--10}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186.3}, doi = {10.4204/EPTCS.186.3}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Reis15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/KaliszykP15, editor = {Cezary Kaliszyk and Andrei Paskevich}, title = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015}, series = {{EPTCS}}, volume = {186}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.186}, doi = {10.4204/EPTCS.186}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/KaliszykP15.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.