| |
also IC: Journal: Information and Computation. Academic Press. Editor-in-Chief: Albert Meyer. |
| |
also JAR: Journal of Automated Reasoning. Editor-in-Chief: Deepak Kapur. |
| |
Journal of Functional Programming. Simon Peyton Jones and Philip Wadler. |
| |
Journal of Logic and Computation. D M Gabbay. |
| |
also JSC: Journal of Symbolic Computation. B. F. Caviness. |
| |
Logical Methods in Computer Science |
| |
Mathematical Structures in Computer Science, Cambridge Univ. Press |
| |
Theoretical Computer Science (TCS bibliography). |
| Electronic journals: | |
| |
Logical Methods in Computer Science. Jiri Adamek, Gordon D. Plotkin, Dana S. Scott, and Moshe Y. Vardi. An electronic journal. |
| |
the LMS Journal of Computation and Mathematics. L. C. Paulson. An electronic journal. |
| |
Journal of Functional and Logic Programming. G. Levi, Univ. Pisa. An electronic journal from the MIT Press. |
| |
Logic Journal of the IGPL. An electronic Journal on Pure and Applied Logic. Dov M Gabbay. |
| |
Annals of Mathematics and Artificial Intelligence. M. Golumbic, Israel. |
| |
Annals of pure and applied logic. |
| |
Formal Aspects of Computing. |
| |
Fundamenta Informaticae. |
| |
Formal Methods in System Design. Edmund M. Clarke. Mrs. Judith Kemp Form, Editorial Office. jkemp@wkap.com. |
| |
Higher-Order and Symbolic Computation (formerly: LISP and Symbolic Computation) |
| |
Journal of Applicable Algebra in Engineering, Communication and Computing. Pierre Lescanne. |
| |
Science of Computer Programming. |
| |
ACM SIGPLAN Notices. |
| |
Informatique Theorique et Applications. |
| |
IEEE Trans Software Engineering. |
| |
ACM journal. |