Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)

Book title Buchtitel
Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023)
 
Publisher Herausgeber
CEUR-WS.org
 
Series Schriftenreihe
CEUR Workshop Proceedings
 
Volume Band
3613
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovács, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024