Document is current
Any future updates will be listed below
-
Authors
Eisenhofer, Clemens https://orcid.org/0000-0003-0339-1580
Alassaf, Ruba https://orcid.org/0000-0002-0331-2451
Rawson, Michael https://orcid.org/0000-0001-7834-1567
Kovács, Laura https://orcid.org/0000-0002-8299-2714
- License Information
-
More Information
Chapter History
First Online: 14 September 2023
Conference Information
Conference Acronym: TABLEAUX
Conference Name: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference City: Prague
Conference Country: Czech Republic
Conference Year: 2023
Conference Start Date: 18 September 2023
Conference End Date: 21 September 2023
Conference Number: 32
Conference ID: tableaux2023
Conference URL: http://tableaux2023.tableaux-ar.org/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: Easychair
Number of Submissions Sent for Review: 43
Number of Full Papers Accepted: 20
Number of Short Papers Accepted: 5
Acceptance Rate of Full Papers: 47% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3 (2.92)
Average Number of Papers per Reviewer: 3
External Reviewers Involved: Yes
