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

@unpublished{TUW-232037,
    author = {Baldi, Paolo},
    title = {Density Elimination and Standard Completeness for extensions of UL and MTL},
    year = {2014},
    note = {talk: Prague Seminar on Substructural logic, Prag; 2014-03-28 -- 2014-03-29}
}


1 Datensatz ausgegeben