![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/cade/ijcar2020-2.bht:"
@inproceedings{DBLP:conf/cade/000120a, author = {Lukasz Czajka}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Practical Proof Search for Coq by Type Inhabitation}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {28--57}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_3}, doi = {10.1007/978-3-030-51054-1\_3}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/000120a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/0001P20, author = {Stephan Schulz and Adam Pease}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {158--166}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_9}, doi = {10.1007/978-3-030-51054-1\_9}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/0001P20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/0002M20, author = {Sebastian Ullrich and Leonardo de Moura}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {167--182}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_10}, doi = {10.1007/978-3-030-51054-1\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/0002M20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AffeldtCKMRS20, author = {Reynald Affeldt and Cyril Cohen and Marie Kerjean and Assia Mahboubi and Damien Rouhling and Kazuhiko Sakaguchi}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Competing Inheritance Paths in Dependent Type Theory: {A} Case Study in Functional Analysis}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {3--20}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_1}, doi = {10.1007/978-3-030-51054-1\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AffeldtCKMRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AllamigeonKS20, author = {Xavier Allamigeon and Ricardo D. Katz and Pierre{-}Yves Strub}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Formalizing the Face Lattice of Polyhedra}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {185--203}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_11}, doi = {10.1007/978-3-030-51054-1\_11}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AllamigeonKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Baanen20, author = {Anne Baanen}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {21--27}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_2}, doi = {10.1007/978-3-030-51054-1\_2}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Baanen20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BhayatR20b, author = {Ahmed Bhayat and Giles Reger}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {A Polymorphic Vampire - (Short Paper)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {361--368}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_21}, doi = {10.1007/978-3-030-51054-1\_21}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BhayatR20b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BrideCDGHMM20, author = {Hadrien Bride and Cheng{-}Hao Cai and Jin Song Dong and Rajeev Gor{\'{e}} and Zh{\'{e}} H{\'{o}}u and Brendan P. Mahony and Jim McCarthy}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {{N-PAT:} {A} Nested Model-Checker - (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {369--377}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_22}, doi = {10.1007/978-3-030-51054-1\_22}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BrideCDGHMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DalmonteOP20, author = {Tiziano Dalmonte and Nicola Olivetti and Gian Luca Pozzato}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {{HYPNO:} Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {378--387}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_23}, doi = {10.1007/978-3-030-51054-1\_23}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/DalmonteOP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DuarteK20, author = {Andr{\'{e}} Duarte and Konstantin Korovin}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Implementing Superposition in iProver (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {388--397}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_24}, doi = {10.1007/978-3-030-51054-1\_24}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/DuarteK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/EssmannNR20, author = {Robin E{\ss}mann and Tobias Nipkow and Simon Robillard}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Verified Approximation Algorithms}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {291--306}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_17}, doi = {10.1007/978-3-030-51054-1\_17}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/EssmannNR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FurerLST20, author = {Basil F{\"{u}}rer and Andreas Lochbihler and Joshua Schneider and Dmitriy Traytel}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Quotients of Bounded Natural Functors}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {58--78}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_4}, doi = {10.1007/978-3-030-51054-1\_4}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/FurerLST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GirlandoS20, author = {Marianna Girlando and Lutz Stra{\ss}burger}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {{MOIN:} {A} Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {398--407}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_25}, doi = {10.1007/978-3-030-51054-1\_25}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GirlandoS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Goertzel20, author = {Zarathustra Amadeus Goertzel}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Make {E} Smart Again (Short Paper)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {408--415}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_26}, doi = {10.1007/978-3-030-51054-1\_26}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Goertzel20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GuntherPT20, author = {Emmanuel Gunther and Miguel Pagano and Pedro S{\'{a}}nchez Terraf}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Formalization of Forcing in Isabelle/ZF}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {221--235}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_13}, doi = {10.1007/978-3-030-51054-1\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GuntherPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GutierrezL20, author = {Ra{\'{u}}l Guti{\'{e}}rrez and Salvador Lucas}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Automatically Proving and Disproving Feasibility Conditions}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {416--435}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_27}, doi = {10.1007/978-3-030-51054-1\_27}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GutierrezL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GutierrezL20a, author = {Ra{\'{u}}l Guti{\'{e}}rrez and Salvador Lucas}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {mu-term: Verify Termination Properties Automatically (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {436--447}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_28}, doi = {10.1007/978-3-030-51054-1\_28}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GutierrezL20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Guttmann20, author = {Walter Guttmann}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {236--253}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_14}, doi = {10.1007/978-3-030-51054-1\_14}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Guttmann20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HalesR20, author = {Thomas C. Hales and Rodrigo Raya}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Formal Proof of the Group Law for Edwards Elliptic Curves}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {254--269}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_15}, doi = {10.1007/978-3-030-51054-1\_15}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HalesR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/JakubuvCOP0U20, author = {Jan Jakubuv and Karel Chvalovsk{\'{y}} and Miroslav Ols{\'{a}}k and Bartosz Piotrowski and Martin Suda and Josef Urban}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {{ENIGMA} Anonymous: Symbol-Independent Inference Guiding Machine (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {448--463}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_29}, doi = {10.1007/978-3-030-51054-1\_29}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/JakubuvCOP0U20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/KirstL20, author = {Dominik Kirst and Dominique Larchey{-}Wendling}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Trakhtenbrot's Theorem in Coq - {A} Constructive Approach to Finite Model Theory}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {79--96}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_5}, doi = {10.1007/978-3-030-51054-1\_5}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/KirstL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Lammich20, author = {Peter Lammich}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Efficient Verified Implementation of Introsort and Pdqsort}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {307--323}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_18}, doi = {10.1007/978-3-030-51054-1\_18}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Lammich20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/LechenetBP20, author = {Jean{-}Christophe L{\'{e}}chenet and Sandrine Blazy and David Pichardie}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {A Fast Verified Liveness Analysis in {SSA} Form}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {324--340}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_19}, doi = {10.1007/978-3-030-51054-1\_19}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/LechenetBP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Maric20, author = {Filip Maric}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Verifying Farad{\v{z}}ev-Read Type Isomorph-Free Exhaustive Generation}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {270--287}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_16}, doi = {10.1007/978-3-030-51054-1\_16}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Maric20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/NiePLG20, author = {Pengyu Nie and Karl Palmskog and Junyi Jessy Li and Milos Gligoric}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Deep Generation of Coq Lemma Names Using Elaborated Terms}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {97--118}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_6}, doi = {10.1007/978-3-030-51054-1\_6}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/NiePLG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/PassmoreCIABKKM20, author = {Grant O. Passmore and Simon Cruanes and Denis Ignatovich and Dave Aitken and Matt Bray and Elijah Kagan and Kostya Kanishev and Ewen Maclean and Nicola Mometto}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {The Imandra Automated Reasoning System (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {464--471}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_30}, doi = {10.1007/978-3-030-51054-1\_30}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/PassmoreCIABKKM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pease20, author = {Adam Pease}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {472--479}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_31}, doi = {10.1007/978-3-030-51054-1\_31}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pease20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pit-ClaudelWDGC20, author = {Cl{\'{e}}ment Pit{-}Claudel and Peng Wang and Benjamin Delaware and Jason Gross and Adam Chlipala}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {119--137}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_7}, doi = {10.1007/978-3-030-51054-1\_7}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pit-ClaudelWDGC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/RauN20, author = {Martin Rau and Tobias Nipkow}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Verification of Closest Pair of Points Algorithms}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {341--357}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_20}, doi = {10.1007/978-3-030-51054-1\_20}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/RauN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ReisNH20, author = {Giselle Reis and Zan Naeem and Mohammed Hashim}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Sequoia: {A} Playground for Logicians - (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {480--488}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_32}, doi = {10.1007/978-3-030-51054-1\_32}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ReisNH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Sakaguchi20, author = {Kazuhiko Sakaguchi}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Validating Mathematical Structures}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {138--157}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_8}, doi = {10.1007/978-3-030-51054-1\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Sakaguchi20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/VilhenaP20, author = {Paulo Em{\'{\i}}lio de Vilhena and Lawrence C. Paulson}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Algebraically Closed Fields in Isabelle/HOL}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {204--220}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_12}, doi = {10.1007/978-3-030-51054-1\_12}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/VilhenaP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ZomboriUB20, author = {Zsolt Zombori and Josef Urban and Chad E. Brown}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Prolog Technology Reinforcement Learning Prover - (System Description)}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, pages = {489--507}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1\_33}, doi = {10.1007/978-3-030-51054-1\_33}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ZomboriUB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2020-2, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12167}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51054-1}, doi = {10.1007/978-3-030-51054-1}, isbn = {978-3-030-51053-4}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2020-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.