TY  - BOOK
AU  - IEEE Symposium on logic in computer science (16
TI  - Logic in computer science. LICS 2001. Proceedings
SN  - 076951281X
U1  - 005 
PY  - 2001///
CY  - Los Almitos
PB  - IEEE Computer society
ER  -