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

@unpublished{TUW-275106,
    author = {Kuznets, Roman},
    title = {Interpolation using sequents and their generalisations},
    year = {2018},
    note = {invited; talk: PhDs in Logic X, Prague; 2018-05-01 -- 2018-05-04}
}


1 Datensatz ausgegeben