scientific article; zbMATH DE number 3624789

zbMath0402.68036MaRDI QIDQ4187313

A. L. Semenov

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

DecidabilityDecision ProblemSystems of Algorithmic AlgebrasFormal Description of a Monadic Program SchemeMonadic Second Order Theory of N Successor FunctionsRecognizing the Identity of Regular Expressions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Algebraic logic (03G99) Algebraic structures (08A99) Algorithms in computer science (68W99)

Related Items (3)

A propositional logic of Boolean recursive programs in which predicate variables appear in conditions ⋮ Functional completeness criteria in Dijkstra algebra ⋮ Multilevel synthesis of structured programs

This page was built for publication: