Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs262.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1712-01485,
  author       = {Gilles Dowek},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Analyzing Individual Proofs as the Basis of Interoperability between
                  Proof Systems},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {3--12},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.1},
  doi          = {10.4204/EPTCS.262.1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01485.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01486,
  author       = {Haniel Barbosa and
                  Jasmin Christian Blanchette and
                  Simon Cruanes and
                  Daniel El Ouraoui and
                  Pascal Fontaine},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Language and Proofs for Higher-Order {SMT} (Work in Progress)},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {15--22},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.3},
  doi          = {10.4204/EPTCS.262.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01486.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01487,
  author       = {Silvio Ghilardi and
                  Elena Pagani},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Counter Simulations via Higher Order Quantifier Elimination: a preliminary
                  report},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {39--53},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.5},
  doi          = {10.4204/EPTCS.262.5},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01488,
  author       = {Tomer Libal and
                  Xaviera Steele},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Determinism in the Certification of {UNSAT} Proofs},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {55--76},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.6},
  doi          = {10.4204/EPTCS.262.6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01489,
  author       = {Dennis M{\"{u}}ller and
                  Colin Rothgang and
                  Yufei Liu and
                  Florian Rabe},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Alignment-based Translations Across Formal Systems Using Interface
                  Theories},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {77--93},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.7},
  doi          = {10.4204/EPTCS.262.7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01489.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-09288,
  author       = {Robert Y. Lewis},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {An Extensible Ad Hoc Interface between Lean and Mathematica},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {23--37},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.4},
  doi          = {10.4204/EPTCS.262.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-09288.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1712-00898,
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.00898},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-00898.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics