Search dblp for Publications

export results for "toc:db/conf/cade/cade2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/0001CV19,
  author       = {Stephan Schulz and
                  Simon Cruanes and
                  Petar Vukmirovic},
  editor       = {Pascal Fontaine},
  title        = {Faster, Higher, Stronger: {E} 2.3},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {495--507},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_29},
  doi          = {10.1007/978-3-030-29436-6\_29},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/0001CV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/0001T19,
  author       = {Andrei Popescu and
                  Dmitriy Traytel},
  editor       = {Pascal Fontaine},
  title        = {A Formally Verified Abstract Account of G{\"{o}}del's Incompleteness
                  Theorems},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {442--461},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_26},
  doi          = {10.1007/978-3-030-29436-6\_26},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/0001T19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AnantharamanHNR19,
  author       = {Siva Anantharaman and
                  Peter Hibbs and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Pascal Fontaine},
  title        = {Unification Modulo Lists with Reverse Relation with Certain Word Equations},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_1},
  doi          = {10.1007/978-3-030-29436-6\_1},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AnantharamanHNR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BarbosaROTB19,
  author       = {Haniel Barbosa and
                  Andrew Reynolds and
                  Daniel El Ouraoui and
                  Cesare Tinelli and
                  Clark W. Barrett},
  editor       = {Pascal Fontaine},
  title        = {Extending {SMT} Solvers to Higher-Order Logic},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {35--54},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_3},
  doi          = {10.1007/978-3-030-29436-6\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BarbosaROTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BentkampBTVW19,
  author       = {Alexander Bentkamp and
                  Jasmin Blanchette and
                  Sophie Tourret and
                  Petar Vukmirovic and
                  Uwe Waldmann},
  editor       = {Pascal Fontaine},
  title        = {Superposition with Lambdas},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {55--73},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_4},
  doi          = {10.1007/978-3-030-29436-6\_4},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BentkampBTVW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BhayatR19,
  author       = {Ahmed Bhayat and
                  Giles Reger},
  editor       = {Pascal Fontaine},
  title        = {Restricted Combinatory Unification},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {74--93},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_5},
  doi          = {10.1007/978-3-030-29436-6\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BhayatR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BohrerFP19,
  author       = {Rose Bohrer and
                  Manuel Fern{\'{a}}ndez and
                  Andr{\'{e}} Platzer},
  editor       = {Pascal Fontaine},
  title        = {dL\({}_{\mbox{{\(\iota\)}}}\): Definite Descriptions in Differential
                  Dynamic Logic},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {94--110},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_6},
  doi          = {10.1007/978-3-030-29436-6\_6},
  timestamp    = {Tue, 10 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BohrerFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrombergerFSW19,
  author       = {Martin Bromberger and
                  Mathias Fleury and
                  Simon Schwarz and
                  Christoph Weidenbach},
  editor       = {Pascal Fontaine},
  title        = {{SPASS-SATT} - {A} {CDCL(LA)} Solver},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {111--122},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_7},
  doi          = {10.1007/978-3-030-29436-6\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrombergerFSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrownGKSU19,
  author       = {Chad E. Brown and
                  Thibault Gauthier and
                  Cezary Kaliszyk and
                  Geoff Sutcliffe and
                  Josef Urban},
  editor       = {Pascal Fontaine},
  title        = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {123--141},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_8},
  doi          = {10.1007/978-3-030-29436-6\_8},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BrownGKSU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CalvaneseGGMR19,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Pascal Fontaine},
  title        = {Model Completeness, Covers and Superposition},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {142--160},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_9},
  doi          = {10.1007/978-3-030-29436-6\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/CalvaneseGGMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CassanoFHAC19,
  author       = {Valentin Cassano and
                  Raul Fervari and
                  Guillaume Hoffmann and
                  Carlos Areces and
                  Pablo F. Castro},
  editor       = {Pascal Fontaine},
  title        = {A Tableaux Calculus for Default Intuitionistic Logic},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_10},
  doi          = {10.1007/978-3-030-29436-6\_10},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/CassanoFHAC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ChenWAZKZ19,
  author       = {Mingshuai Chen and
                  Jian Wang and
                  Jie An and
                  Bohua Zhan and
                  Deepak Kapur and
                  Naijun Zhan},
  editor       = {Pascal Fontaine},
  title        = {{NIL:} Learning Nonlinear Interpolants},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {178--196},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_11},
  doi          = {10.1007/978-3-030-29436-6\_11},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ChenWAZKZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ChvalovskyJ0U19,
  author       = {Karel Chvalovsk{\'{y}} and
                  Jan Jakubuv and
                  Martin Suda and
                  Josef Urban},
  editor       = {Pascal Fontaine},
  title        = {{ENIGMA-NG:} Efficient Neural and Gradient-Boosted Inference Guidance
                  for {E}},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {197--215},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_12},
  doi          = {10.1007/978-3-030-29436-6\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ChvalovskyJ0U19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CordwellP19,
  author       = {Katherine Cordwell and
                  Andr{\'{e}} Platzer},
  editor       = {Pascal Fontaine},
  title        = {Towards Physical Hybrid Systems},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_13},
  doi          = {10.1007/978-3-030-29436-6\_13},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CordwellP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FioriW19,
  author       = {Alberto Fiori and
                  Christoph Weidenbach},
  editor       = {Pascal Fontaine},
  title        = {{SCL} Clause Learning from Simple Models},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {233--249},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_14},
  doi          = {10.1007/978-3-030-29436-6\_14},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FioriW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FurbachKS19,
  author       = {Ulrich Furbach and
                  Teresa Kr{\"{a}}mer and
                  Claudia Schon},
  editor       = {Pascal Fontaine},
  title        = {Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {250--268},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_15},
  doi          = {10.1007/978-3-030-29436-6\_15},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FurbachKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GieslGH19,
  author       = {J{\"{u}}rgen Giesl and
                  Peter Giesl and
                  Marcel Hark},
  editor       = {Pascal Fontaine},
  title        = {Computing Expected Runtimes for Constant Probability Programs},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {269--286},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_16},
  doi          = {10.1007/978-3-030-29436-6\_16},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GieslGH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GutierrezL19,
  author       = {Ra{\'{u}}l Guti{\'{e}}rrez and
                  Salvador Lucas},
  editor       = {Pascal Fontaine},
  title        = {Automatic Generation of Logical Models with {AGES}},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {287--299},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_17},
  doi          = {10.1007/978-3-030-29436-6\_17},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GutierrezL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HavlenaHLV19,
  author       = {Vojtech Havlena and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Ondrej Leng{\'{a}}l and
                  Tom{\'{a}}s Vojnar},
  editor       = {Pascal Fontaine},
  title        = {Automata Terms in a Lazy WSkS Decision Procedure},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {300--318},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_18},
  doi          = {10.1007/978-3-030-29436-6\_18},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HavlenaHLV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HirokawaNOO19,
  author       = {Nao Hirokawa and
                  Julian Nagele and
                  Vincent van Oostrom and
                  Michio Oyamaguchi},
  editor       = {Pascal Fontaine},
  title        = {Confluence by Critical Pair Analysis Revisited},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {319--336},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_19},
  doi          = {10.1007/978-3-030-29436-6\_19},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HirokawaNOO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KohlM19,
  author       = {Christina Kohl and
                  Aart Middeldorp},
  editor       = {Pascal Fontaine},
  title        = {Composing Proof Terms},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {337--353},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_20},
  doi          = {10.1007/978-3-030-29436-6\_20},
  timestamp    = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/KohlM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LiT19,
  author       = {Di Long Li and
                  Alwen Tiu},
  editor       = {Pascal Fontaine},
  title        = {Combining ProVerif and Automated Theorem Provers for Security Protocol
                  Verification},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {354--365},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_21},
  doi          = {10.1007/978-3-030-29436-6\_21},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LiT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MeloO19,
  author       = {Alexsander Andrade de Melo and
                  Mateus de Oliveira Oliveira},
  editor       = {Pascal Fontaine},
  title        = {On the Width of Regular Classes of Finite Structures},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_2},
  doi          = {10.1007/978-3-030-29436-6\_2},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MeloO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NiemetzPRZBT19,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Andrew Reynolds and
                  Yoni Zohar and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Pascal Fontaine},
  title        = {Towards Bit-Width-Independent Proofs in {SMT} Solvers},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {366--384},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_22},
  doi          = {10.1007/978-3-030-29436-6\_22},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NiemetzPRZBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PeuterS19,
  author       = {Dennis Peuter and
                  Viorica Sofronie{-}Stokkermans},
  editor       = {Pascal Fontaine},
  title        = {On Invariant Synthesis for Parametric Systems},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {385--405},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_23},
  doi          = {10.1007/978-3-030-29436-6\_23},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/PeuterS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Plaisted19,
  author       = {David A. Plaisted},
  editor       = {Pascal Fontaine},
  title        = {The Aspect Calculus},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {406--424},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_24},
  doi          = {10.1007/978-3-030-29436-6\_24},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Plaisted19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Platzer19,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Pascal Fontaine},
  title        = {Uniform Substitution at One Fell Swoop},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {425--441},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_25},
  doi          = {10.1007/978-3-030-29436-6\_25},
  timestamp    = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Platzer19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/RawsonR19,
  author       = {Michael Rawson and
                  Giles Reger},
  editor       = {Pascal Fontaine},
  title        = {Old or Heavy? Decaying Gracefully with Age/Weight Shapes},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {462--476},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_27},
  doi          = {10.1007/978-3-030-29436-6\_27},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/RawsonR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/RegerV19,
  author       = {Giles Reger and
                  Andrei Voronkov},
  editor       = {Pascal Fontaine},
  title        = {Induction in Saturation-Based Proof Search},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {477--494},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_28},
  doi          = {10.1007/978-3-030-29436-6\_28},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/RegerV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SternagelW19,
  author       = {Christian Sternagel and
                  Sarah Winkler},
  editor       = {Pascal Fontaine},
  title        = {Certified Equational Reasoning via Ordered Completion},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {508--525},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_30},
  doi          = {10.1007/978-3-030-29436-6\_30},
  timestamp    = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/SternagelW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SutcliffeP19,
  author       = {Geoff Sutcliffe and
                  Francis Jeffry Pelletier},
  editor       = {Pascal Fontaine},
  title        = {{JGXYZ:} An {ATP} System for Gap and Glut Logics},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {526--537},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_31},
  doi          = {10.1007/978-3-030-29436-6\_31},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SutcliffeP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Tammet19,
  author       = {Tanel Tammet},
  editor       = {Pascal Fontaine},
  title        = {{GKC:} {A} Reasoning System for Large Knowledge Bases},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {538--549},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_32},
  doi          = {10.1007/978-3-030-29436-6\_32},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Tammet19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TrentinS19,
  author       = {Patrick Trentin and
                  Roberto Sebastiani},
  editor       = {Pascal Fontaine},
  title        = {Optimization Modulo the Theory of Floating-Point Numbers},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {550--567},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_33},
  doi          = {10.1007/978-3-030-29436-6\_33},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/TrentinS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZhaoS19,
  author       = {Yizheng Zhao and
                  Renate A. Schmidt},
  editor       = {Pascal Fontaine},
  title        = {{FAME(Q):} An Automated Tool for Forgetting in Description Logics
                  with Qualified Number Restrictions},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {568--579},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_34},
  doi          = {10.1007/978-3-030-29436-6\_34},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZhaoS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2019,
  editor       = {Pascal Fontaine},
  title        = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6},
  doi          = {10.1007/978-3-030-29436-6},
  isbn         = {978-3-030-29435-9},
  timestamp    = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.