Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Dateiinhalt

@MastersThesis{boehm-2009-mdatalog,
    author	={Andr\'e B\"ohm},
    title	={m{D}atalog - {M}onadisches {D}atalog \"uber {B}\"aumen},
    school	={Department of Computer Science},
    address	={Humboldt-University Berlin/Germany},
    month	={June},
    year	={2009},
    type	={{D}iplomarbeit},
    note	={DE, Available online at
                  \url{http://www.tks.informatik.uni-frankfurt.de/aboehm/files/diplom.pdf}}
}