Automated Reasoning with Analytic Tableaux and Related Methods

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods
 
Publisher Herausgeber
Springer
 
Place of publishing Erscheinungsort
LNCS, vol.11714
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
2Lellmann, Björn Linear Nested Sequents, 2-sequents and HypersequentsKonferenzbeitrag Inproceedings2015