Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cade/BergBNOV23,
  author       = {Jeremias Berg and
                  Bart Bogaerts and
                  Jakob Nordstr{\"{o}}m and
                  Andy Oertel and
                  Dieter Vandesande},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Certified Core-Guided MaxSAT Solving},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_1},
  doi          = {10.1007/978-3-031-38499-8\_1},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BergBNOV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BhayatSR23,
  author       = {Ahmed Bhayat and
                  Johannes Schoisswohl and
                  Michael Rawson},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Superposition with Delayed Unification},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {23--40},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_2},
  doi          = {10.1007/978-3-031-38499-8\_2},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BhayatSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BjornerF23,
  author       = {Nikolaj S. Bj{\o}rner and
                  Katalin Fazekas},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {On Incremental Pre-processing for {SMT}},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {41--60},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_3},
  doi          = {10.1007/978-3-031-38499-8\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/BjornerF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BlanchetteQT23,
  author       = {Jasmin Blanchette and
                  Qi Qiu and
                  Sophie Tourret},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Verified Given Clause Procedures},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {61--77},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_4},
  doi          = {10.1007/978-3-031-38499-8\_4},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BlanchetteQT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BoigelotFV23,
  author       = {Bernard Boigelot and
                  Pascal Fontaine and
                  Baptiste Vergain},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Decidability of Difference Logic over the Reals with Uninterpreted
                  Unary Predicates},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {542--559},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_31},
  doi          = {10.1007/978-3-031-38499-8\_31},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BoigelotFV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BonacinaGV23,
  author       = {Maria Paola Bonacina and
                  St{\'{e}}phane Graham{-}Lengrand and
                  Christophe Vauthier},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {{QSMA:} {A} New Algorithm for Quantified Satisfiability Modulo Theory
                  and Assignment},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {78--95},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_5},
  doi          = {10.1007/978-3-031-38499-8\_5},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BonacinaGV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BriegerMP23,
  author       = {Marvin Brieger and
                  Stefan Mitsch and
                  Andr{\'{e}} Platzer},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {96--115},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_6},
  doi          = {10.1007/978-3-031-38499-8\_6},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BriegerMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrombergerDW23,
  author       = {Martin Bromberger and
                  Martin Desharnais and
                  Christoph Weidenbach},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {An Isabelle/HOL Formalization of the {SCL(FOL)} Calculus},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {116--133},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_7},
  doi          = {10.1007/978-3-031-38499-8\_7},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrombergerDW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrombergerJW23,
  author       = {Martin Bromberger and
                  Chaahat Jain and
                  Christoph Weidenbach},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {{SCL(FOL)} Can Simulate Non-Redundant Superposition Clause Learning},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {134--152},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_8},
  doi          = {10.1007/978-3-031-38499-8\_8},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrombergerJW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BruseLM23,
  author       = {Florian Bruse and
                  Martin Lange and
                  S{\"{o}}ren M{\"{o}}ller},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Formal Reasoning About Influence in Natural Sciences Experiments},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {153--169},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_9},
  doi          = {10.1007/978-3-031-38499-8\_9},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BruseLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ChenRT23,
  author       = {Yu{-}Fang Chen and
                  Philipp R{\"{u}}mmer and
                  Wei{-}Lun Tsai},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {A Theory of Cartesian Arrays (with Applications in Quantum Circuit
                  Verification)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {170--189},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_10},
  doi          = {10.1007/978-3-031-38499-8\_10},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ChenRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CoutelierKRR23,
  author       = {Robin Coutelier and
                  Laura Kov{\'{a}}cs and
                  Michael Rawson and
                  Jakob Rath},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {SAT-Based Subsumption Resolution},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {190--206},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_11},
  doi          = {10.1007/978-3-031-38499-8\_11},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CoutelierKRR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FiedorHHRSV23,
  author       = {Tom{\'{a}}s Fiedor and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Martin Hruska and
                  Adam Rogalewicz and
                  Juraj S{\'{\i}}c and
                  Pavol Vargovc{\'{\i}}k},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Reasoning About Regular Properties: {A} Comparative Study},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {286--306},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_17},
  doi          = {10.1007/978-3-031-38499-8\_17},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FiedorHHRSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FleuryL23,
  author       = {Mathias Fleury and
                  Peter Lammich},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {A More Pragmatic {CDCL} for IsaSAT and Targetting {LLVM} (Short Paper)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {207--219},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_12},
  doi          = {10.1007/978-3-031-38499-8\_12},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FleuryL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FrohnG23,
  author       = {Florian Frohn and
                  J{\"{u}}rgen Giesl},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Proving Non-Termination by Acceleration Driven Clause Learning (Short
                  Paper)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {220--233},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_13},
  doi          = {10.1007/978-3-031-38499-8\_13},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FrohnG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GorlitzHHPPS23,
  author       = {Oliver G{\"{o}}rlitz and
                  Daniel Hausmann and
                  Merlin Humml and
                  Dirk Pattinson and
                  Simon Prucker and
                  Lutz Schr{\"{o}}der},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {{COOL} 2 - {A} Generic Reasoner for Modal Fixpoint Logics (System
                  Description)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {234--247},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_14},
  doi          = {10.1007/978-3-031-38499-8\_14},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GorlitzHHPPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HenkelHS23,
  author       = {Elisabeth Henkel and
                  Jochen Hoenicke and
                  Tanja Schindler},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Choose Your Colour: Tree Interpolation for Quantified Formulas in
                  {SMT}},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {248--265},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_15},
  doi          = {10.1007/978-3-031-38499-8\_15},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HenkelHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HenselG23,
  author       = {Jera Hensel and
                  J{\"{u}}rgen Giesl},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Proving Termination of {C} Programs with Lists},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {266--285},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_16},
  doi          = {10.1007/978-3-031-38499-8\_16},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HenselG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HozzovaKNV23,
  author       = {Petra Hozzov{\'{a}} and
                  Laura Kov{\'{a}}cs and
                  Chase Norman and
                  Andrei Voronkov},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Program Synthesis in Saturation},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {307--324},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_18},
  doi          = {10.1007/978-3-031-38499-8\_18},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HozzovaKNV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/IndrzejczakP23,
  author       = {Andrzej Indrzejczak and
                  Yaroslav I. Petrukhin},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {325--343},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_19},
  doi          = {10.1007/978-3-031-38499-8\_19},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/IndrzejczakP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KassingG23,
  author       = {Jan{-}Christoph Kassing and
                  J{\"{u}}rgen Giesl},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting
                  Using Dependency Pairs},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {344--364},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_20},
  doi          = {10.1007/978-3-031-38499-8\_20},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KassingG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KreuzerN23,
  author       = {Katharina Kreuzer and
                  Tobias Nipkow},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Verification of NP-Hardness Reduction Functions for Exact Lattice
                  Problems},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {365--381},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_21},
  doi          = {10.1007/978-3-031-38499-8\_21},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KreuzerN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NalonHPD23,
  author       = {Cl{\'{a}}udia Nalon and
                  Ullrich Hustadt and
                  Fabio Papacchini and
                  Clare Dixon},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {382--400},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_22},
  doi          = {10.1007/978-3-031-38499-8\_22},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NalonHPD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NiederhauserHM23,
  author       = {Johannes Niederhauser and
                  Nao Hirokawa and
                  Aart Middeldorp},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Left-Linear Completion with {AC} Axioms},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {401--418},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_23},
  doi          = {10.1007/978-3-031-38499-8\_23},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NiederhauserHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PeuterST23,
  author       = {Dennis Peuter and
                  Viorica Sofronie{-}Stokkermans and
                  Sebastian Thunert},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {On P-Interpolation in Local Theory Extensions and Applications to
                  the Study of Interpolation in the Description Logics \emph{E}{\(\mathscr{L}\)},
                  \emph{E}{\(\mathscr{L}\)}\({}^{\mbox{+}}\)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {419--437},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_24},
  doi          = {10.1007/978-3-031-38499-8\_24},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/PeuterST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/RothgangRB23,
  author       = {Colin Rothgang and
                  Florian Rabe and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Theorem Proving in Dependently-Typed Higher-Order Logic},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {438--455},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_25},
  doi          = {10.1007/978-3-031-38499-8\_25},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/RothgangRB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchmidtSchaussN23,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  Daniele Nantes{-}Sobrinho},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Towards Fast Nominal Anti-unification of Letrec-Expressions},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {456--473},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_26},
  doi          = {10.1007/978-3-031-38499-8\_26},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchmidtSchaussN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchopfM23,
  author       = {Jonas Sch{\"{o}}pf and
                  Aart Middeldorp},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Confluence Criteria for Logically Constrained Rewrite Systems},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {474--490},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_27},
  doi          = {10.1007/978-3-031-38499-8\_27},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchopfM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Stevens23,
  author       = {Lukas Stevens},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Towards a Verified Tableau Prover for a Quantifier-Free Fragment of
                  Set Theory},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {491--508},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_28},
  doi          = {10.1007/978-3-031-38499-8\_28},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Stevens23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TammetJVD23,
  author       = {Tanel Tammet and
                  Priit J{\"{a}}rv and
                  Martin Verrev and
                  Dirk Draheim},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {An Experimental Pipeline for Automated Reasoning in Natural Language
                  (Short Paper)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {509--521},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_29},
  doi          = {10.1007/978-3-031-38499-8\_29},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/TammetJVD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ToledoZB23,
  author       = {Guilherme Vicentin de Toledo and
                  Yoni Zohar and
                  Clark W. Barrett},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Combining Combination Properties: An Analysis of Stable Infiniteness,
                  Convexity, and Politeness},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {522--541},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_30},
  doi          = {10.1007/978-3-031-38499-8\_30},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ToledoZB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WhittersNT23,
  author       = {Gerald Whitters and
                  Vivek Nigam and
                  Carolyn L. Talcott},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Incremental Rewriting Modulo {SMT}},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {560--576},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_32},
  doi          = {10.1007/978-3-031-38499-8\_32},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/WhittersNT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZhanFXX23,
  author       = {Bohua Zhan and
                  Yuheng Fan and
                  Weiqiang Xiong and
                  Runqing Xu},
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Iscalc: An Interactive Symbolic Computation Framework (System Description)},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  pages        = {577--589},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_33},
  doi          = {10.1007/978-3-031-38499-8\_33},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZhanFXX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2023,
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8},
  doi          = {10.1007/978-3-031-38499-8},
  isbn         = {978-3-031-38498-1},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2023.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.