Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
 
DOI
10.1007/978-3-030-86059-2
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Gore, Rajeev A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense LogicKonferenzbeitrag Inproceedings 2021
2Dalmonte, Tiziano Terminating Calculi and Countermodels for Constructive Modal LogicsKonferenzbeitrag Inproceedings 2021