RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) - Forthcoming

  • Properties of a Ternary Infinite Word
    J. Currie, P. Ochem, N. Rampersad and J. Shallit
    Accepted: 05/12/2022
  • Almost all classical theorems are intuitionistic
    Pierre Lescanne
    Accepted: 07/10/2022