Theoretical Computer Science

Theoretical Computer Science

  • Volume 48
  • Issue 48
  • ISSN 0304-3975
  • SCImago Journal Rank (SJR): 0.464
  • Source Normalized Impact per Paper (SNIP): 0.981
  • Impact Factor: 0.827
  • Five Year Impact Factor: 0.927
Editor-in-chief:

Subscription options

Sales tax will be calculated at check-out
Subscription length
Print - Annual Subscription
(Jan - Dec 2021)
Next planned ship date: Oct 28, 2021

Description

Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.

Any queries about submissions and peer review should be addressed to the TCS editorial office: tcs@elsevier.com.

Papers published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods.

The second section,`Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.

The third section, 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science, natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing.

Theoretical Computer Science will now publish high-quality advanced introductions. Advanced introductions, which are by invitation only, should cover a focused topic within the scope of TCS at a level that would be appropriate for a scientist who is new to the topic and wishes to gain an up-to-date understanding. Articles should be self-contained, including motivation and basic definitions, and proceed to advanced material and/or open problems which may - but need not - include new results. Sufficient references should be given to provide the reader with entry points to the research literature on the topic as well as the origins of the main ideas. Submissions will go through the standard review process of TCS.

Product details

  • SCImago Journal Rank (SJR): 0.464
  • Source Normalized Impact per Paper (SNIP): 0.981
  • Impact Factor: 0.827
  • Five Year Impact Factor: 0.927
  • ISSN: 0304-3975
  • Issues: 48
  • Volume: 48
Editorial board

Author services

Prepare your article for submission

Celebrate your publication

Additional services

Publication schedule

Issue volumeIssue yearPlanned ship dateActual ship date
849C2021Dec 14, 2020Dec 08, 2020
850C2021Dec 21, 2020Dec 11, 2020
851C2021Jan 06, 2021Jan 14, 2021
852C2021Jan 08, 2021Jan 19, 2021
853C2021Jan 12, 2021Jan 20, 2021
854C2021Jan 25, 2021Jan 20, 2021
855C2021Jan 29, 2021Jan 20, 2021
856C2021Feb 05, 2021Jan 27, 2021
857C2021Feb 16, 2021Feb 03, 2021
858C2021Feb 22, 2021Feb 11, 2021
859C2021Mar 02, 2021Feb 23, 2021
860C2021Mar 09, 2021Feb 26, 2021
861C2021Mar 17, 2021Mar 08, 2021
862C2021Mar 25, 2021Mar 15, 2021
863C2021Apr 01, 2021Mar 25, 2021
864C2021Apr 09, 2021Mar 30, 2021
865C2021Apr 16, 2021Apr 12, 2021
866C2021Apr 26, 2021Apr 20, 2021
867C2021May 03, 2021Apr 26, 2021
868C2021May 11, 2021May 05, 2021
869C2021May 18, 2021May 12, 2021
870C2021May 26, 2021May 24, 2021
871C2021Jun 04, 2021May 28, 2021
872C2021Jun 10, 2021Jun 02, 2021
873C2021Jun 11, 2021Jun 02, 2021
874C2021Jun 14, 2021Jun 02, 2021
875C2021Jun 17, 2021Jun 08, 2021
876C2021Jun 21, 2021Jun 11, 2021
877C2021Jun 23, 2021Jun 11, 2021
878-879C2021Aug 04, 2021Jul 23, 2021
880C2021Aug 12, 2021Aug 05, 2021
881C2021Aug 19, 2021Aug 13, 2021
882C2021Aug 27, 2021Aug 13, 2021
883C2021Sep 03, 2021Aug 27, 2021
884C2021Sep 13, 2021Sep 03, 2021
885C2021Sep 20, 2021Sep 08, 2021
886C2021Sep 27, 2021Sep 17, 2021
887C2021Oct 05, 2021Sep 24, 2021
888C2021Oct 13, 2021Oct 01, 2021
889C2021Oct 21, 2021Oct 13, 2021
890C2021Oct 28, 2021
891C2021Nov 05, 2021
892C2021Nov 12, 2021
893C2021Nov 22, 2021
894C2021Nov 29, 2021
895C2021Dec 07, 2021
896C2021Dec 14, 2021
897C2022Dec 16, 2021
898C2022Dec 17, 2021
899C2022Jan 03, 2022
900C2022Jan 10, 2022
901C2022Jan 18, 2022
902C2022Jan 26, 2022
903C2022Feb 03, 2022
904C2022Feb 11, 2022
905C2022Feb 21, 2022
906C2022Mar 01, 2022
907C2022Mar 09, 2022
908C2022Mar 17, 2022
909C2022Mar 25, 2022
910C2022Apr 04, 2022
911C2022Apr 12, 2022
912C2022Apr 20, 2022
913C2022Apr 28, 2022
914C2022May 06, 2022
915C2022May 12, 2022
916C2022May 17, 2022
917C2022May 20, 2022
918C2022May 27, 2022
919C2022Jun 03, 2022
920C2022Jun 10, 2022
921C2022Jun 17, 2022
922C2022Jun 22, 2022
923C2022Jun 24, 2022
924C2022Jul 29, 2022
925C2022Aug 08, 2022
926C2022Aug 16, 2022
927C2022Aug 24, 2022
928C2022Sep 01, 2022
929C2022Sep 09, 2022
930C2022Sep 19, 2022
931C2022Sep 27, 2022
932C2022Oct 05, 2022
933C2022Oct 13, 2022
934C2022Oct 21, 2022
935C2022Oct 31, 2022
936C2022Nov 08, 2022
937C2022Nov 16, 2022
938C2022Nov 24, 2022
939C2023Dec 02, 2022
940C2023Dec 12, 2022