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

@unpublished{TUW-280271,
    author = {Kuznets, Roman},
    title = {Extrapolating Interpolation},
    year = {2019},
    note = {invited; talk: Proof Theory in Logic workshop, Utrecht; 2019-07-01 -- 2019-07-02}
}


1 Datensatz ausgegeben