Straight-Line Programs with One Input Variable

DOI10.1137/0211001zbMath0486.68010OpenAlexW2035926105MaRDI QIDQ3947097

Oscar H. Ibarra, Brian S. Leininger

Publication date: 1982

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0211001

zbMATH Keywords

equivalenceHilbert's tenth problemdecidableundecidablezero-equivalenceinteger inputspair generator

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

On some decision problems for RAM programs

This page was built for publication: Straight-Line Programs with One Input Variable