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
 
ISBN
978-3-030-86058-5
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
Cham
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
12842
 

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Gore, Rajeev CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SATKonferenzbeitrag Inproceedings 2021
2Gore, Rajeev ; Ramanayake, Revantha Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using CoqKonferenzbeitrag Inproceedings 2021