ACM Home Page
Please provide us with feedback. Feedback
LICS 2001 special issue
Full text PdfPdf (17 KB)
Source ACM Transactions on Computational Logic (TOCL) archive
Volume 4 ,  Issue 3  (July 2003) table of contents
Pages: 295 - 295  
Year of Publication: 2003
ISSN:1529-3785
Editors
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 20,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/772062.772063
What is a DOI?

Collaborative Colleagues:
Erich Grädel: colleagues
Joseph Y. Halpern: colleagues
Radha Jaghadeesan: colleagues
Adolfo Piperno: colleagues