TY - BOOK AU - IEEE Computer Society TI - Eleventh annual IEEE symposium on Logic in Computer Science: July 27-30, 1996, New Brunswick, New Jersey SN - 0780336542 (HB) PY - 1996/// CY - New Jersey,USA PB - IEEE CSP KW - Logic in Computer Science, 1996 ER -