scientific article
From MaRDI portal
Publication:3217582
zbMath0554.68007MaRDI QIDQ3217582
Oscar H. Ibarra, Louis E. Rosier
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalencecorrectnessdecision problemsvalidityPSPACEPresburger arithmeticloop programssimple programming languages
Analysis of algorithms and problem complexity (68Q25) Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication:
