Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
 
ISBN
978-3-031-43513-3
 
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
Cham
 
DOI
10.1007/978-3-031-43513-3
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
14278
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets-2023-Always Look on Both Sides of Proof Syntax and Semantics as t...-vor.pdf.jpgKuznets, Roman Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof TheoryInproceedings Konferenzbeitrag 13-Sep-2023
2van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
3Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
4Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023