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 proceduresinvariant properties of short algorithms

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Algorithms in computer science (68W99)

Cites Work

• Classes of Recursively Enumerable Sets and Their Decision Problems

This page was built for publication: Decision-procedures for invariant properties of short algorithms