We are currently upgrading our print fulfillment systems. Print book orders placed between Sept 22 and Oct 9 will be delayed. Delivery of these orders will start on Oct 10, with purchases being fulfilled in the order received. Buy the Print and get eBook immediately for FREE. Use Code BOGO. Or save up to 40% on all orders with code: DELTA. Exclusions apply. Click here for terms and conditions.
Theoretical Computer Science

Theoretical Computer Science





Editors-in-Chief::G. Ausiello





Go to Journal Website


Subscription Details

ScienceDirect Subscription

  • Access for 5 users
  • Access to 4 years of archives

USD 5,231.20

Print Journal

Subscription Details

Estimated Delivery Time

In Stock

USD 5,564.00
Buying for Institutions
Terms & Conditions

Additional Subscription Help


Aims & Scope

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.


Researchers in the Theoretical Aspects of Computer Science

Sponsored Articles:
Theoretical Computer Science offers authors or their institutions the option to sponsor non-subscriber access to their articles on Elsevier's electronic publishi

Abstracting and Indexing

ACM Computing Reviews, CompuScience, Computer Abstracts, Current Contents/Engineering, Computing & Technology, Engineering Index, INSPEC Information Services, Mathematical Reviews, Scopus, Zentralblatt MATH
Editors-in-Chief: G. Ausiello Dipto. di Informatica e Sistemistica, Università di Roma "La Sapienza", via Ariosto 25, 00185 Roma, Italy, D. Sannella School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh, EH8 9AB, UK, Editorial Board: Algorithms, Automata, Complexity and Games (TCS-A) A. Apostolico College of Computing, Georgia Institute of Technology, Tech Square, Atlanta, GA 30332-0280, USA, G. Ausiello Dipto. di Informatica e Sistemistica, Università di Roma "La Sapienza", via Ariosto 25, 00185 Roma, Italy, J Camenisch IBM Zürich Research Laboratory, Säumerstrasse 4, CH-8803 Rüschlikon, Switzerland, M. Crochemore Université de Marne-la-Vallée, Cité Descartes 5 BD Descartes Champs-Sur-Marne Cit, 77454 Marne La Vallee, France, X. Deng Dept. of Computer Science, University of Liverpool, Ashton St., Liverpool, L69 3BX, UK, D.-Z. Du Dept. of Computer Science, University of Texas at Dallas, 800 W. Campbell Road; MS EC31, Richardson, TX 75080, USA, B. Durand LIM - CMI, 39 rue Joliot-Curie, 13453 Marseille CEDEX 13, France, J. Díaz Depto. de Llenguatges i Sistemes Informatics, Campus Nord C-5, Universitat Politecnica de Catalunya (UPC), Jordi Girona Salgado 1-3, E 08034 Barcelona, Spain, T. Erlebach Dept. of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK, Z. Esik Dept. of Computer Science, University of Szeged, P.O.B. 652, H-6720 Szeged, Hungary, A. Fiat School of Computer Science, Tel Aviv University, Ramat Aviv, 69978 Tel Aviv, Israel, A.S. Fraenkel Dept. of Computer Science, Weizmann Institute of Science, Ziskind Building, Room 208, PO Box 26, 76100 Rehovot, Israel, R. Gavaldà Depto. de Llenguatges i Sistemes Informatics, Campus Nord C-5, Universitat Politecnica de Catalunya (UPC), Jordi Girona Salgado 1-3, E 08034 Barcelona, Spain, R. Giancarlo Dipart. di Matematica ed Applicazioni, Università degli Studi di Palermo, via Archirafi 34, 90123 Palermo, Italy, S.-Y. Hsieh Dept. of Computer Science and Information Engineering, National Cheng Kung University, No. 1, University Road, 701 Tainan, Taiwan, ROC, O.H. Ibarra Dept. of Computer Science, University of California at Santa Barbara, Santa Barbara CA 93106-5110, USA, G.F. Italiano Dipto. di Informatica, Sistemi e Produzione, Università di Roma "Tor Vergata", via di Tor Vergata 110, 00133 Roma, Italy, M. Ito Fac. of Science, Kyoto University, Kita-ku, 603-8555 Kyoto, Japan, C. Kaklamanis Dept. of Computer Engineering & Informatics, University of Patras, Building B, 26500 Rio, Patras, Greece, J. Karhumäki Dept. of Mathematics, University of Turku, FIN-20014 Turku, Finland, M. Kiwi Dept. de Ingenieria Matematica, Universidad de Chile, Casilla 170, Correo 3, Santiago, Chile, R. Klasing CNRS, LaBRI, Université de Bordeaux 1, 351 cours de la Libération, 33405 Talence, France, J Kratochvil Dept. of Mathematics, Charles University, Malostranské nám. 25, 11800 Prague 1, Czech Republic, V.Y. Pan Lehman College, City University of New York, 250 Bedford Park Boulevard West, Bronx, NY 10468, USA, V. Paschos CNRS - LAMSADE UMR7243, Université Paris-Dauphine, Place du Marechal De Lattre de Tassigny, F-75775 Paris Cedex 16, France, D. Peleg Fac. of Mathematics and Computer Science, Weizmann Institute of Science, P.O. Box 26, 76100 Rehovot, Israel, D. Perrin Inst. Gaspard Monge, Université de Marne-la-Vallée, Cite Descartes 5 boulevard Descartes, 77454 Marne La Vallee, France, G. Persiano Dipart. di Informatica e Applicazioni, Università degli Studi di Salerno, Via Ponte Don Melillo, I-84081 Baronissi, Italy, H. Prodinger Dept. of Mathematics, University of Stellenbosch, Private Bag X1, 7602 Stellenbosch, South Africa, G. Rozenberg Leiden Inst. of Advanced Computer Science (LIACS), Universiteit Leiden, Niels Bohrweg 1, 2333 CA Leiden, Netherlands, S. Sen Dept. of Computer Science and Engineering (New Delhi), Indian Institute of Technology, Bharti Building, Hauz Khas, 110 016 New Delhi, India, P.G. Spirakis Computer Technology Institute, P.O. Box 1122, GR-26110 Patras, Greece, H.J. van den Herik Ctr. for Creative Computing, Tilburg University, PO Box 90153, 5000 LE Tilburg, Netherlands, O. Watanabe Dept. of Mathematical & Computing Sciences, Tokyo Institute of Technology, 2-12-1 Okayama, 152-8552 Meguro-Ku, Japan, P. Widmayer Dept. of Computer Science, Eidgenössische Technische Hochschule (ETH) Zürich, CH-8092 Zürich, Switzerland, Editorial Board: Logic, Semantics and Theory of Programming (TCS-B) P. A. Abdullah Uppsala Universit
Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy

Author Services

Prepare your Article for submission
Translation Services
English Language Editing

Celebrate your publication success
Article Offprints, Journal Issues, Article/Cover Posters, Create Your Own Book

Additional Services
Mobile Apps,Special Content Offerings,and more...