![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:streams/conf/arecca:"
@proceedings{DBLP:conf/arecca/2023, editor = {Jens Otten and Wolfgang Bibel}, title = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3613}, urn = {urn:nbn:de:0074-3613-0}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/000223, author = {Michael F{\"{a}}rber}, editor = {Jens Otten and Wolfgang Bibel}, title = {A Curiously Effective Backtracking Strategy for Connection Tableaux}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {23--40}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper2.pdf}, timestamp = {Sat, 27 Jan 2024 16:34:35 +0100}, biburl = {https://dblp.org/rec/conf/arecca/000223.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/Bibel23, author = {Wolfgang Bibel}, editor = {Jens Otten and Wolfgang Bibel}, title = {Comparison of Proof Methods}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {119--132}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper9.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/Bibel23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/EisenhoferK023, author = {Clemens Eisenhofer and Laura Kov{\'{a}}cs and Michael Rawson}, editor = {Jens Otten and Wolfgang Bibel}, title = {Embedding the Connection Calculus in Satisfiability Modulo Theories}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {54--63}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper4.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/EisenhoferK023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/Holden23, author = {Sean B. Holden}, editor = {Jens Otten and Wolfgang Bibel}, title = {Connect++: {A} New Automated Theorem Prover Based on the Connection Calculus}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {95--106}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper7.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/Holden23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/Otten23, author = {Jens Otten}, editor = {Jens Otten and Wolfgang Bibel}, title = {20 Years of leanCoP - An Overview of the Provers}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {4--22}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper1.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/Otten23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/OttenH23, author = {Jens Otten and Sean B. Holden}, editor = {Jens Otten and Wolfgang Bibel}, title = {A Syntax for Connection Proofs}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {84--94}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper6.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/OttenH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/Repp023, author = {Leo Repp and Mario Frank}, editor = {Jens Otten and Wolfgang Bibel}, title = {nanoCoP-Omega: {A} Non-Clausal Connection Prover with Arithmetic}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {41--53}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper3.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/Repp023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/RommingOH23, author = {Fredrik R{\o}mming and Jens Otten and Sean B. Holden}, editor = {Jens Otten and Wolfgang Bibel}, title = {Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {107--118}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper8.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/RommingOH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/Wernhard23, author = {Christoph Wernhard}, editor = {Jens Otten and Wolfgang Bibel}, title = {Structure-Generating First-Order Theorem Proving}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {64--83}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_paper5.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/Wernhard23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arecca/X23, editor = {Jens Otten and Wolfgang Bibel}, title = {Preface}, booktitle = {Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {(TABLEAUX} 2023), Prague, Czech Republic, September 18, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3613}, pages = {1--3}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3613/AReCCa2023\_preface.pdf}, timestamp = {Sat, 27 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/arecca/X23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.org/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.