TABLEAUX 2019

View Statistics Email Alert RSS Feed

Description

Event name
TABLEAUX 2019
 
Event type
Event for scientific audience
 
Start date
03-09-2019
End date
05-09-2019
 
Location
London
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
2Ciabattoni, Agata ; Ramanayake, Revantha ; Lang, Timo Bounded sequent calculi for non-classical logics via hypersequentsKonferenzbeitrag Inproceedings 2019
3Lellmann, Björn Combining Monotone and Normal Modal Logic in Nested Sequents – with CountermodelsKonferenzbeitrag Inproceedings 2019
4Pimentel, Elaine ; Ramanayake, Don Revantha Shiyan ; Lellmann, Björn Sequentialising Nested SystemsKonferenzbeitrag Inproceedings 2019
5Goré, Rajeev ; Lellmann, Björn Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested SequentsKonferenzbeitrag Inproceedings 2019