On some decision problems for RAM programs

DOI10.1016/0022-0000(82)90055-1zbMath0475.68019OpenAlexW2045126762MaRDI QIDQ1159463

Oscar H. Ibarra, Shlomo Moran

Publication date: 1982

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(82)90055-1

zbMATH Keywords

random access machine

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Algorithms in computer science (68W99)

Cites Work

• Straight-Line Programs with One Input Variable
• Bounds on Positive Integral Solutions of Linear Diophantine Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On some decision problems for RAM programs