RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On bi-infinite and conjugate post correspondence problems

Olivier Finkel, Vesa Halava, Tero Harju and Esa Sahla

RAIRO-Theor. Inf. Appl., 57 (2023) 7

Published online: 18 October 2023

DOI: 10.1051/ita/2023008

Olivier Finkel

Vesa Halava

Tero Harju

Esa Sahla

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)