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

@unpublished{TUW-285709,
    author = {Kuznets, Roman and Lellmann, Bj{\"o}rn},
    title = {Translating Quantitative Semantic Bounds into Nested Sequents},
    year = {2019},
    note = {invited; talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 -- 2019-11-13}
}


1 Datensatz ausgegeben