Login / Signup

Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems

Robert L. ConstableSteven S. Muchnick
Published in: STOC (1972)
Keyphrases
  • problems involving
  • real time
  • np complete
  • database
  • np hard
  • expressive power