Search dblp for Publications

export results for "toc:db/conf/tableaux/tableaux2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tableaux/AcclavioCO23,
  author       = {Matteo Acclavio and
                  Davide Catta and
                  Federico Olimpieri},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Canonicity of Proofs in Constructive Modal Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {342--363},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_19},
  doi          = {10.1007/978-3-031-43513-3\_19},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/AcclavioCO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/AfshariGLZ23,
  author       = {Bahareh Afshari and
                  Lide Grotenhuis and
                  Graham E. Leigh and
                  Lukas Zenger},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal
                  Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {223--241},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_13},
  doi          = {10.1007/978-3-031-43513-3\_13},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/AfshariGLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ArecesCFH23,
  author       = {Carlos Areces and
                  Valentin Cassano and
                  Raul Fervari and
                  Guillaume Hoffmann},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {DefTab : {A} Tableaux System for Sceptical Consequence in Default
                  Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {37--48},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_3},
  doi          = {10.1007/978-3-031-43513-3\_3},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/ArecesCFH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/BergDGMPP23,
  author       = {Ineke van der Berg and
                  Andrea De Domenico and
                  Giuseppe Greco and
                  Krishna Manoorkar and
                  Alessandra Palmigiano and
                  Mattia Panettiere},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Non-distributive Description Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {49--69},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_4},
  doi          = {10.1007/978-3-031-43513-3\_4},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/BergDGMPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/BoerHG23,
  author       = {Frank S. de Boer and
                  Hans{-}Dieter A. Hiep and
                  Stijn de Gouw},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {The Logic of Separation Logic: Models and Proofs},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {407--426},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_22},
  doi          = {10.1007/978-3-031-43513-3\_22},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/BoerHG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DalmonteM23,
  author       = {Tiziano Dalmonte and
                  Andrea Mazzullo},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {CoNP Complexity for Combinations of Non-normal Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {302--321},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_17},
  doi          = {10.1007/978-3-031-43513-3\_17},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/DalmonteM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DasM23,
  author       = {Anupam Das and
                  Sonia Marin},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {On Intuitionistic Diamonds (and Lack Thereof)},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {283--301},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_16},
  doi          = {10.1007/978-3-031-43513-3\_16},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/DasM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DekkerKMV23,
  author       = {Maurice Dekker and
                  Johannes Kloibhofer and
                  Johannes Marti and
                  Yde Venema},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Proof Systems for the Modal {\(\mu\)}-Calculus Obtained by Determinizing
                  Automata},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {242--259},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_14},
  doi          = {10.1007/978-3-031-43513-3\_14},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/DekkerKMV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/EisenhoferARK23,
  author       = {Clemens Eisenhofer and
                  Ruba Alassaf and
                  Michael Rawson and
                  Laura Kov{\'{a}}cs},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Non-Classical Logics in Satisfiability Modulo Theories},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {24--36},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_2},
  doi          = {10.1007/978-3-031-43513-3\_2},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/EisenhoferARK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/FromV23,
  author       = {Asta Halkj{\ae}r From and
                  J{\o}rgen Villadsen},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {A Naive Prover for First-Order Logic: {A} Minimal Example of Analytic
                  Completeness},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {468--480},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_25},
  doi          = {10.1007/978-3-031-43513-3\_25},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/FromV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/GheorghiuGP23,
  author       = {Alexander V. Gheorghiu and
                  Tao Gu and
                  David J. Pym},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear
                  Logic},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {367--385},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_20},
  doi          = {10.1007/978-3-031-43513-3\_20},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GheorghiuGP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/GiessenJK23,
  author       = {Iris van der Giessen and
                  Raheleh Jalali and
                  Roman Kuznets},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Extensions of {K5:} Proof Theory and Uniform Lyndon Interpolation},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {263--282},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_15},
  doi          = {10.1007/978-3-031-43513-3\_15},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GiessenJK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/HanikovaMV23,
  author       = {Zuzana Hanikov{\'{a}} and
                  Felip Many{\`{a}} and
                  Amanda Vidal},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {The MaxSAT Problem in the Real-Valued MV-Algebra},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {386--404},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_21},
  doi          = {10.1007/978-3-031-43513-3\_21},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/HanikovaMV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Indrzejczak23,
  author       = {Andrzej Indrzejczak},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Towards Proof-Theoretic Formulation of the General Theory of Term-Forming
                  Operators},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {131--149},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_8},
  doi          = {10.1007/978-3-031-43513-3\_8},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Indrzejczak23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/IndrzejczakK23,
  author       = {Andrzej Indrzejczak and
                  Nils K{\"{u}}rbis},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {112--130},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_7},
  doi          = {10.1007/978-3-031-43513-3\_7},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/IndrzejczakK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Lang23,
  author       = {Timo Lang},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Some Analytic Systems of Rules},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_6},
  doi          = {10.1007/978-3-031-43513-3\_6},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Lang23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/LyonO23,
  author       = {Tim S. Lyon and
                  Eugenio Orlandelli},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Nested Sequents for Quantified Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {449--467},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_24},
  doi          = {10.1007/978-3-031-43513-3\_24},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/LyonO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/PattinsonON23,
  author       = {Dirk Pattinson and
                  Nicola Olivetti and
                  Cl{\'{a}}udia Nalon},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Resolution Calculi for Non-normal Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {322--341},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_18},
  doi          = {10.1007/978-3-031-43513-3\_18},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/PattinsonON23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Peltier23,
  author       = {Nicolas Peltier},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Testing the Satisfiability of Formulas in Separation Logic with Permissions},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {427--445},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_23},
  doi          = {10.1007/978-3-031-43513-3\_23},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Peltier23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/PiotrowskiMA23,
  author       = {Bartosz Piotrowski and
                  Ramon Fern{\'{a}}ndez Mir and
                  Edward W. Ayers},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Machine-Learned Premise Selection for Lean},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_10},
  doi          = {10.1007/978-3-031-43513-3\_10},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/PiotrowskiMA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/RawsonWZB23,
  author       = {Michael Rawson and
                  Christoph Wernhard and
                  Zsolt Zombori and
                  Wolfgang Bibel},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Lemmas: Generation, Selection, Application},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {153--174},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_9},
  doi          = {10.1007/978-3-031-43513-3\_9},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/RawsonWZB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Saurin23,
  author       = {Alexis Saurin},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent
                  Calculi with Least and Greatest Fixed-Points},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {203--222},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_12},
  doi          = {10.1007/978-3-031-43513-3\_12},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Saurin23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ShillitoGGI23,
  author       = {Ian Shillito and
                  Iris van der Giessen and
                  Rajeev Gor{\'{e}} and
                  Rosalie Iemhoff},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {A New Calculus for Intuitionistic Strong L{\"{o}}b Logic: Strong
                  Termination and Cut-Elimination, Formalised},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {73--93},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_5},
  doi          = {10.1007/978-3-031-43513-3\_5},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/ShillitoGGI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Shminke23,
  author       = {Boris Shminke},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {gym-saturation: Gymnasium Environments for Saturation Provers (System
                  description)},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {187--199},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_11},
  doi          = {10.1007/978-3-031-43513-3\_11},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Shminke23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/Wernhard23,
  author       = {Christoph Wernhard},
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Range-Restricted and Horn Interpolation through Clausal Tableaux},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  pages        = {3--23},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3\_1},
  doi          = {10.1007/978-3-031-43513-3\_1},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/Wernhard23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tableaux/2023,
  editor       = {Revantha Ramanayake and
                  Josef Urban},
  title        = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
                  International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
                  September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14278},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43513-3},
  doi          = {10.1007/978-3-031-43513-3},
  isbn         = {978-3-031-43512-6},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/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.