Journal (abbreviation if any), publisher ====================================================================================================================== ACM Transactions on Computational Logic (TOCL), ACM ACM Transactions on Programmin Languages (TOPLAS), ACM Annals of Mathematics and Artificial Intelligence (AMAI), Kluwer Annals of Pure and Applied Logic (APAL), Elsevier Applicable Algebra in Engineering, Communication and Computing (AAECC), Springer Archive for Mathematical Logic, Springer Artificial Intelligence (AI), Elsevier Bulletin of the European Association for Theoretical Computer Science (BEATCS), EATCS Constraints, Kluwer Discrete Mathematics & Theoretical Computer Science (DMTCS), DMTCS-LORIA Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Electronic Proceedings in Theoretical Computer Science (EPTCS), open access, see CoRR/arXiv.org Formal Aspects of Computing (FAC), Springer Formal Methods in System Design (FMSD), Kluwer Formal Methods Letters (FML), Springer (quarterly special section of STTT) Fundamenta Informaticae (FI), EATCS Higher-Order and Symbolic Computation (HOSC), Kluwer (formerly LISP and Symbolic Computation) IEEE Transactions on Software Engineering (TSE), IEEE Indagationes Mathematicae, Elsevier Information and Computation (I&C), Elsevier Information Processing Letters (IPL), Elsevier International Journal of Foundations of Computer Science (IJFCS), World Scientific International Journal on Software Tools for Technology Transfer (STTT), Springer Journal of Applied Logic (JAL), Elsevier Journal of Automata, Languages and Combinatorics (JALC), Univ. Magdeburg formerly: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung und Kybernetik Journal of Automated Reasoning (JAR), Kluwer Journal of Computer and System Sciences (JCSS), Elsevier Journal of Functional and Logic Programming (JFLP), Univ. Münster Journal of Functional Programming (JFP), Cambridge University Press Journal of Logic and Algebraic Programming (JLAP), Elsevier Journal of Logic and Computation (LOGCOM), Oxford University Press Journal of Logic, Language and Information (JOLLI), Kluwer Journal on Relational Methods in Computer Science (JORMICS), Univ.-BW Muünchen Journal of Symbolic Computation (JSC), Elsevier Journal of Symbolic Logic (JSL), ASL Journal of the ACM (JACM), ACM Journal of Universal Computer Science (JUCS), Springer Logical Methods in Computer Science (LMCS), IFCoLog/CoRR/arXiv LMS Journal of Computation and Mathematics (JCM), London Mathematical Society Logic Journal of the IGPL (IGPL), Oxford University Press Mathematical Logic Quarterly (MLQ)Mathematical Logic Quarterly (MLQ), Wiley-VCH Mathematical Structures in Computer Science (MSCS), Cambridge University Press Mathematics in Computer Science (MCS) (cf. also here), Birkhäuser Minds and Machines, Kluwer Nordic Journal of Computing (NJC), Publishing Association Nordic Journal of Computing RAIRO - Theoretical Informatics and Applications (Informatique Théorique et Applications (ITA)), EDP Sciences Science of Computer Programming (SCP), Elsevier SIAM Journal on Computing (SICOMP), SIAM Studia Logica, Kluwer The Computer Journal, Oxford University Press Theoretical Computer Science (TCS), Elsevier Theory and Practice of Logic Programming (TPLP), Cambridge University Press Theory of Computing Systems, Springer
Links: Homepage (B.G.) | AG 185/2 | Institut 185 | Server Homepage | Faculty of Informatics | TU Wien
Bernhard Gramlich