Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /

"The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 38...

Full description

Bibliographic Details

Corporate Author:	Workshop on Computer Science Logic Heidelberg, Germany
Other Authors:	Börger, E. (Egon), 1946-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1991.
Series:	Lecture notes in computer science ; 533.
Subjects:	Computer science > Congresses. Logic, Symbolic and mathematical > Congresses. Computer science > Mathematics > Congresses. Informatique > Mathématiques > Congrès. Logique symbolique et mathématique > Congrès. Informatique > Congrès. Computer science > Mathematics. Computer science. Logic, Symbolic and mathematical. Programmeertalen. Logica. Logica e semantica de programacao. Computer logic > Congresses. Electronic resources (Books) Conference papers and proceedings.