Une preuve directe de l'equivalence entre machine de turing et machine a cases adressables

Jean-Philippe Lehmann. Une preuve directe de l'equivalence entre machine de turing et machine a cases adressables. BIAA, 6:7-49, 1983. [doi]

Abstract

Abstract is missing.