TY - BOOK AU - IEEE Symposium on logic in computer science (19 TI - Logic in computer science. LICS 2004. Proceedings SN - 0769521924 U1 - 005 PY - 2004/// CY - Los Alamitos PB - IEEE ER -