Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/pxtp/GochtNM21,
  author       = {Stephan Gocht and
                  Jakob Nordstr{\"{o}}m and
                  Ruben Martins},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {Certifying {CNF} Encodings of Pseudo-Boolean Constraints (abstract)},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {48},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.5},
  doi          = {10.4204/EPTCS.336.5},
  timestamp    = {Thu, 25 Nov 2021 17:17:09 +0100},
  biburl       = {https://dblp.org/rec/conf/pxtp/GochtNM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-02351,
  author       = {Maria Paola Bonacina},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {Proof Generation in {CDSAT}},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {1--4},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.1},
  doi          = {10.4204/EPTCS.336.1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-02351.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-02352,
  author       = {Quentin Garchery},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {A Framework for Proof-carrying Logical Transformations},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {5--23},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.2},
  doi          = {10.4204/EPTCS.336.2},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-02352.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-02353,
  author       = {Valentin Blot and
                  Louise Dubois de Prisque and
                  Chantal Keller and
                  Pierre Vial},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {General Automation in Coq through Modular Transformations},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {24--39},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.3},
  doi          = {10.4204/EPTCS.336.3},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-02353.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-02354,
  author       = {Hans{-}J{\"{o}}rg Schurr and
                  Mathias Fleury and
                  Haniel Barbosa and
                  Pascal Fontaine},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {Alethe: Towards a Generic {SMT} Proof Format (extended abstract)},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {49--54},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.6},
  doi          = {10.4204/EPTCS.336.6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-02354.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-05493,
  author       = {Nicolas Magaud},
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {Integrating an Automated Prover for Projective Geometry as a New Tactic
                  in the Coq Proof Assistant},
  booktitle    = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  pages        = {40--47},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336.4},
  doi          = {10.4204/EPTCS.336.4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-05493.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2107-01544,
  editor       = {Chantal Keller and
                  Mathias Fleury},
  title        = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
  series       = {{EPTCS}},
  volume       = {336},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.336},
  doi          = {10.4204/EPTCS.336},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01544.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}