Straight-Line Programs with One Input Variable

DOI10.1137/0211001MaRDI QIDQ3947097zbMATH OpenOpenAlexFDO

Authors 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

decidableequivalenceHilbert's tenth probleminteger inputspair generatorundecidablezero-equivalence

Mathematics Subject Classification ID

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

Cited in

(1)

• On some decision problems for RAM programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3947097)