RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

在理论计算机科学及其应用领域发表具有较高科学水平的原创研究论文。理论计算机科学是广义上的理解,特别是由以下方面:自动机和正式语言,博弈论,重写系统,算法设计与分析、复杂性理论、量子计算、并发、分布式、并行计算、验证的程序，“逻辑”，编译器、计算几何和图形在电脑、密码学、组合词。这份清单不应该是详尽的，编辑委员会将促进未来研究的新领域。雷罗：这是雷罗的一部分，自动化，信息化和研究操作。RAIRO是一份国际期刊，致力于在商业和工业中使用科学方法和信息处理方面进行高层次的纯理论和应用研究。

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, “logic” 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.