Name Card

Full name Familienname, Vorname
Cerrito, Serenella
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lellmann, Björn Combining Monotone and Normal Modal Logic in Nested Sequents – with CountermodelsKonferenzbeitrag Inproceedings 2019
2Goré, Rajeev ; Lellmann, Björn Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested SequentsKonferenzbeitrag Inproceedings 2019
3Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn Sequentialising Nested SystemsKonferenzbeitrag Inproceedings 2019