TY - BOOK ID - 2423254 TI - Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings PY - 1991 VL - vol 533 SN - 3540544879 0387544879 3540384014 PB - Berlin New York Springer-Verlag DB - UniCat KW - 681.3*H2 KW - Computer science KW - -Logic, Symbolic and mathematical KW - -681.3*D3 KW - 681.3*G2 KW - 681.3*I2 KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Informatics KW - Science KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Congresses KW - Programming languages KW - Discrete mathematics (Mathematics of computing) KW - Artificial intelligence. AI KW - 681.3*I2 Artificial intelligence. AI KW - 681.3*G2 Discrete mathematics (Mathematics of computing) KW - 681.3*D3 Programming languages KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - Logic, Symbolic and mathematical KW - 681.3*D3 KW - Logic [Symbolic and mathematical ] KW - Computer science - Congresses. KW - Logic, Symbolic and mathematical - Congresses. KW - Logic, Symbolic and mathematical. KW - Mathematics. KW - Information theory. KW - Logic design. KW - Computer science. KW - Computer software. KW - Mathematical Logic and Foundations. KW - Applications of Mathematics. KW - Theory of Computation. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Algorithm Analysis and Problem Complexity. KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Communication theory KW - Communication KW - Cybernetics KW - Math UR - https://www.unicat.be/uniCat?func=search&query=sysid:2423254 AB - 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 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science. ER -