Helmut Schwichtenberg
AuthID: R-00K-FYJ
1
TITLE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings
AUTHORS: Peter Clote; Helmut Schwichtenberg;
PUBLISHED: 2000, SOURCE: CSL, VOLUME: 1862
AUTHORS: Peter Clote; Helmut Schwichtenberg;
PUBLISHED: 2000, SOURCE: CSL, VOLUME: 1862
INDEXED IN: 
DBLP
DBLP