Aim & Scope
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. [1]
Continuations / Journal History
( 1977 - 1985 ) | RAIRO - Informatique Théorique | ( 1986 - 9999 ) | RAIRO : Theoretical Informatics and Applications |
2024 - VOLUME 58
Consecutive pattern-avoidance in Catalan words according to the last symbol
No authors listed.
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 1.
Topologies for Finite Words: Compatibility with the Cantor Topology
No authors listed.
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 2.
Synchronization of Primitive Automata
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 3.
On a Test of Square-Free Morphisms
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 4.
Reversible Computations of One-Way Counter Automata
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 5.
Monadic Expressions and Their Derivatives
S Attou , L Mignot , C Miklarz , F Nicart
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 6.
Improvements on the 4-adic complexity of a class of quaternary sequences
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 7.
Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths
E Barcucci , A Bernini , R Pinzani
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 8.
Human-verifiable proofs in the theory of word-representable graphs
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 9.
Finding automatic sequences with few correlations
RAIRO : Theoretical Informatics and Applications , 2024 - VOLUME 58 , p 10.