Computer science logic. 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
The articles of mathematical interest will be reviewed individually. The preceding workshop (8, 1994) has been reviewed (see Zbl 0847.00048).
scientific article; zbMATH DE number 918144