AReCCa 2023
Automated Reasoning with Connection Calculi 2023

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.

Edited by

Jens Otten *
Wolfgang Bibel **

* University of Oslo, Norway
** Technical University of Darmstadt, Germany

Table of Contents


Regular Papers

2023-12-21: submitted by Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2024-01-08: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|