Publication:3540444

zbMath1151.03031MaRDI QIDQ3540444

Carolina Mejia, Juan Andrés Montoya

Publication date: 24 November 2008

zbMATH Keywords

Turing machines

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

20K30: Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups

03D10: Turing machines and related notions

03D45: Theory of numerations, effectively presented structures