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

@unpublished{TUW-232038,
    author = {Baldi, Paolo},
    title = {A proof-theoretical approach to standard completeness},
    year = {2014},
    note = {talk: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 2014-07-13}
}


1 Datensatz ausgegeben