scientific article
From MaRDI portal
zbMath0314.68009MaRDI QIDQ4074367
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
Stratified least fixpoint logic, Definability in dynamic logic, Computing with infinite objects, Floyd's principle, correctness theories and program equivalence, Definability by programs in first-order structures, Axiomatizing geometric constructions, The axiomatics of ordered geometry: I. Ordered incidence spaces, Semantics of algorithmic languages, Necessary and sufficient conditions for the universality of programming formalisms, Equivalences among logics of programs, The unwind property for programs with bounded memory
