Wissen, was gut ist. Studieren in Chemnitz.

Chemnitzer Informatik-Berichte

2000
top CSR-00-01: J.A. Makowsky und K. Meer, Polynomials of bounded tree-width, Januar 2000
top CSR-00-02: Andreas Goerdt, Efficient interpolation for the intuitionistic sequent calculus, Januar 2000