| | - The European Journal
TOCS is devoted to publishing original research from all areas of theoretical computer science, ranging from foundational areas such as computational complexity, to fundamental areas such as algorithms and data structures, to focused areas such as pa ...
http://www.upgrade-cepis.org/
|
| |
- LMS Journal of Computation
LMS Journal of Computation and Mathematics an electronic journal published by the London Mathematical Society. ...
http://www.lms.ac.uk/jcm/
|
| |
|
- The Mathematical Structures
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap ...
http://journals.cambridge.org/action/displayJournal?jid=MSC
| | |
| |
- Knowledge Engineering
The Knowledge Engineering Review is committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts. KER publishes analyses high quality surveys providing balanced but critical ...
http://journals.cambridge.org/action/displayJournal?jid=KER
|
| |
- Studia Universitatis
Studia Universitatis Babes Bolyai Series Informatica Tables of contents from vol.36 1991 on. ...
http://www.cs.ubbcluj.ro/~studia-i/
| | - Logic and Computation
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and nonclassical logic, constructive logic, categorical logic, modal ...
http://logcom.oxfordjournals.org/
|
| |
- Journal of Symbolic Computation
Presents research on algorithmic treatment of symbolic objects including objects in formal languages, algebraic objects, and geometrical objects. ...
http://www.cis.udel.edu/~caviness/jsc.html
| | - Journal of Theoretical and Applied
Journal of Theoretical and Applied Information Technology EISSN 18173195 ISSN 19928645 is an International refereed research publishing journal with a laserbeam focal aim of promoting and publishing original high quality research dealing with theore ...
http://www.jatit.org/
|
| |
- ACM Transactions
The IEEEACM Transactions on Networking is an archival, bimonthly journal committed to the timely publication of highquality papers that advance the stateoftheart and practical applications of communication networks. It is cosponsored by the IEEE Com ...
http://www.ton.cc.gatech.edu/
| | - Theory and Practice
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI ...
http://journals.cambridge.org/action/displayJournal?jid=TLP
|
| |
