LICS 2001 special issue

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

LICS 2001 special issue

Full text

Pdf (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 Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/772062.772063 What is a DOI?

INDEX TERMS

Erich Grädel: colleagues

Joseph Y. Halpern: colleagues

Radha Jaghadeesan: colleagues

Adolfo Piperno: colleagues