Source
Clote, Peter G., and Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Fischbachau, Germany, August 21-26, 2000. Proceedings.
(Springer, Berlin, 2000) 187-201
(with Matthias Baaz)
Clote, Peter G., and Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Fischbachau, Germany, August 21-26, 2000. Proceedings.
(Springer, Berlin, 2000) 187-201
(with Matthias Baaz)