|
||||||||||||
|
||||||||||||
|
|
Home » Computer Sciences » Computer Science Theoretical » Theoretical Journals » Transactions on Computational Transactions on Computational in Computer Engineering Resources Directory |
For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library.
Website: http://theoryofcomputing.org/
Sponsored Links

