Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
 
ISBN
978-3-642-40536-5
 
Editor Herausgeber_in
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
 
DOI
10.1007/978-3-642-40537-2
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Boudou, Joseph ; Woltzenlogel-Paleo, Bruno Compression of Propositional Resolution Proofs by Lowering SubproofsKonferenzbeitrag Inproceedings2013
2Lellmann, Björn ; Pattinson, Dirk Correspondence between modal Hilbert axioms and sequent rules with an application to S5Konferenzbeitrag Inproceedings 2013