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