Logic in computer science
Subtitle: proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts
By: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: IEEE Computer Society
Published: 2001
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 441
Subjects: Computer science -- Mathematics -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.
Other titles: 16th Annual IEEE Symposium on Logic in Computer Science.; LICS 2001.; Logic in Computer Science, 2001, proceedings, 16th Annual IEEE Symposium on.
Notes: "IEEE Computer Society Order Number PR01218"--T.p. verso.

Includes bibliographical references and author index.

Also available via the World Wide Web with additional title: Logic in Computer Science, 2001, proceedings, 16th Annual IEEE Symposium on.