TY - BOOK ID - 145458987 TI - Logic in Computer Science, 7th Conference (LICS '92 PY - 1992 PB - [Place of publication not identified] IEEE Computer Society Press DB - UniCat KW - Computer science KW - Logic, Symbolic and mathematical. KW - Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:145458987 AB - The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR. ER -