Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Editorial

Editorial Editorial This special issue of ACM Transactions on Computational Logic is devoted to papers rst presented at LICS 2000, the 15th Annual IEEE Symposium on Logic in Computer Science, held June 26–29, 2000, in Santa Barbara, California. In consultation with the LICS 2000 program committee, the guest editors selected ve papers presented at the conference and invited their authors to submit full versions of the papers to this special issue. All submissions were refereed according to the usual standards of ACM Transactions on Computational Logic. They cover a range of lively areas within Logic in Computer Science, re ‚ecting well the quality of the conference. We are grateful to the authors of the papers for their excellent contributions, and to all members of the program committee and reviewers for their efforts. The guest editors I MART´N ABADI LEONID LIBKIN FRANK PFENNING http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Computational Logic (TOCL) Association for Computing Machinery

Loading next page...
 
/lp/association-for-computing-machinery/editorial-O0VIi9KS0y

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2002 by ACM Inc.
ISSN
1529-3785
DOI
10.1145/507382.507383
Publisher site
See Article on Publisher Site

Abstract

Editorial This special issue of ACM Transactions on Computational Logic is devoted to papers rst presented at LICS 2000, the 15th Annual IEEE Symposium on Logic in Computer Science, held June 26–29, 2000, in Santa Barbara, California. In consultation with the LICS 2000 program committee, the guest editors selected ve papers presented at the conference and invited their authors to submit full versions of the papers to this special issue. All submissions were refereed according to the usual standards of ACM Transactions on Computational Logic. They cover a range of lively areas within Logic in Computer Science, re ‚ecting well the quality of the conference. We are grateful to the authors of the papers for their excellent contributions, and to all members of the program committee and reviewers for their efforts. The guest editors I MART´N ABADI LEONID LIBKIN FRANK PFENNING

Journal

ACM Transactions on Computational Logic (TOCL)Association for Computing Machinery

Published: Jul 1, 2002

There are no references for this article.