Name Card

Full name Familienname, Vorname
Popescu, Andrei
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 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
4Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Epistemic Reasoning with Byzantine-Faulty AgentsKonferenzbeitrag Inproceedings 2019