中文簡(jiǎn)介

在理論計(jì)算機(jī)科學(xué)及其應(yīng)用領(lǐng)域發(fā)表具有較高科學(xué)水平的原創(chuàng)研究論文。理論計(jì)算機(jī)科學(xué)是廣義上的理解,特別是由以下方面:自動(dòng)機(jī)和正式語(yǔ)言,博弈論,重寫系統(tǒng),算法設(shè)計(jì)與分析、復(fù)雜性理論、量子計(jì)算、并發(fā)、分布式、并行計(jì)算、驗(yàn)證的程序，“邏輯”，編譯器、計(jì)算幾何和圖形在電腦、密碼學(xué)、組合詞。這份清單不應(yīng)該是詳盡的，編輯委員會(huì)將促進(jìn)未來(lái)研究的新領(lǐng)域。雷羅：這是雷羅的一部分，自動(dòng)化，信息化和研究操作。RAIRO是一份國(guó)際期刊，致力于在商業(yè)和工業(yè)中使用科學(xué)方法和信息處理方面進(jìn)行高層次的純理論和應(yīng)用研究。

投稿網(wǎng)址：https://articlestatus.edpsciences.org/is/ita/

英文簡(jiǎn)介

The journal publishes original research papers of high scientific level in the area of theoretical computer science and its applications. Theoretical computer science is understood in its broadest sense and comprises in particular the following areas: automata and formal languages, game theory, rewriting systems, design and analysis of algorithms, complexity theory, quantum computation, concurrent, distributed, parallel computations, verification of programs, “l(fā)ogic” and compilers, computational geometry and graphics on computers, cryptography, combinatorics on words. This list is not supposed to be exhaustive and the editorial board will promote new fields of research that will be worked out in the future.RAIRO: ITA is a section of RAIRO, Revue d'Automatique, d'Informatique et de Recherche Opérationnelle. RAIRO is an international journal devoted to high-level pure and applied research on the use of scientific methods and information processing in business and industry.