32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023)

View Statistics Email Alert RSS Feed

Description

Event name
32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023)
 
Event type
Event for scientific audience
 
Start date
18-09-2023
End date
21-09-2023
 
Location
Prague
Country
Czech Republic
 
Organizing institution Veranstaltende Institution
Czech Technical University in Prague, Czechia
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 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