BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@unpublished{TUW-290796,
    author = {Kuznets, Roman and Lellmann, Bj{\"o}rn},
    title = {Interpolation for Intermediate Logics via Injective Nested Sequents},
    year = {2020},
    note = {invited; talk: Online Partout Seminar, online, France; 2020-11-09}
}


1 Datensatz ausgegeben