Return to JournalSeek Home

Genamics JournalSeek

ACM Transactions on Computational Logic
ACM Trans Comput Logic

ISSN: 1529-3785.

The ACM Transactions on Computational Logic (TOCL) is a new journal devoted to the research concerned with all uses of logic in the field of computer science. Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages. New uses of logic arise in such fields as machine learning, database systems, program verification and specification, and automated deduction. By launching TOCL, the ACM hopes to provide further impetus to this research field and to bring together the community of researchers who have been working in it.

   Further information
   Category Links

Add To Favorites
Email This Page

Side Panel
Privacy Policy About Us Contact Us