Latest publications

of the LCG (Logic and Computation Group) that became the CLC (Center for Logic and Computation) where updated information from February 14, 2001 onwards can be found.

COPYRIGHT NOTICE (as suggested by ACM)
The documents contained in these directories are included by contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and conditions invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

All publications by current members of LCG since 1988:

• browse locally and fetch recent preprints;

• browse at the Collection of Computer Science Bibliographies;

• get the entire list (html, bib, ps, pdf);

• fetch some preprints from our ftp server (with a mirror at Hypatia);

• per type/status:

• Journal papers
• Serial papers
• Book chapters
• Conference papers
• Edited proceedings
• Books
• PhD theses
• MSc theses
• All (also including some submitted papers and theses in preparation)

Last update: December 2, 1999.