by Helmut Schwichtenberg, Gerhard Goos
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings<br />Author: Peter G. Clote, Helmut Schwichtenberg…