TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

View Statistics Email Alert RSS Feed

Description

Event name
TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
 
Event type
Event for scientific audience
 
Start date
06-09-2021
End date
09-09-2021
 
Location
Birmingham
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gore, Rajeev A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense LogicKonferenzbeitrag Inproceedings 2021
2Gore, Rajeev CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SATKonferenzbeitrag Inproceedings 2021
3Gore, Rajeev ; Ramanayake, Revantha Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using CoqKonferenzbeitrag Inproceedings 2021
4Dalmonte, Tiziano Terminating Calculi and Countermodels for Constructive Modal LogicsKonferenzbeitrag Inproceedings 2021