Tableaux 2013
Event name
Tableaux 2013
Event type
Event for scientific audience
Start date
16-09-2013
End date
19-09-2013
Location
Nancy
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Boudou, Joseph ; Woltzenlogel-Paleo, Bruno ; Galmiche, Didier ; Larchey-Wendling, Dominique | Compression of Propositional Resolution Proofs by Lowering Subproofs | Konferenzbeitrag Inproceedings | 2013 | |
| 2 | Lellmann, Björn ; Pattinson, Dirk | Correspondence between modal Hilbert axioms and sequent rules with an application to S5 | Konferenzbeitrag Inproceedings  | 2013 | |
| 3 | Ciabattoni, Agata ; Maffezioli, Paolo ; Spendier, Lara ; Galmiche, D. ; Larchey-Wendling, D. | Hypersequent and Labelled Calculi for Intermediate Logics | Konferenzbeitrag Inproceedings | 2013 |