Decision-procedures for invariant properties of short algorithms

DOI10.1007/BF01629439zbMath0493.03019MaRDI QIDQ1168315

S. Singh

Publication date: 1982

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

zbMATH Keywords

Goedel numbers of decision procedures; invariant properties of short algorithms

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

68W99: Algorithms in computer science