Recognition of invariant properties of algorithms

DOI10.1007/BF01084075zbMath0375.02031OpenAlexW2319421633MaRDI QIDQ1245949

K. Appert

Publication date: 1976

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

Full work available at URL: https://doi.org/10.1007/bf01084075

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• Unnamed Item
• On computable enumerations. I
• Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals
• Classes of Recursively Enumerable Sets and Their Decision Problems

This page was built for publication: Recognition of invariant properties of algorithms