Characterizing the orders changed by program translators

DOI10.2140/pjm.1978.76.485zbMath0392.03029OpenAlexW2094101017MaRDI QIDQ1251653

K. Appert

Publication date: 1978

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1978.76.485

zbMATH Keywords

Computable PermutationProgram TranslatorsRecursively Enumerable SetsTotal Recursive Function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (1)

On sets polynomially enumerable by iteration

This page was built for publication: Characterizing the orders changed by program translators