CONSTRUCTIVE ALGEBRAS I
From MaRDI portal
Publication:5338325
DOI10.1070/rm1961v016n03ABEH001120zbMath0129.25903MaRDI QIDQ5338325
Publication date: 1961
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Related Items
The Church-Turing Thesis over Arbitrary Domains, A notion of effectiveness in arbitrary structures, Algorithmic properties of structures, Expressiveness and the completeness of Hoare's logic, The axiomatic semantics of programs based on Hoare's logic, Algebraic specifications of computable and semicomputable data types, On a conjecture of Bergstra and Tucker, Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs, Anatoly Ivanovich Maltsev, Final algebras, cosemicomputable algebras and degrees of unsolvability, Computable isomorphisms, degree spectra of relations, and Scott families, A recursive second order initial algebra specification of primitive recursion, Ideals in computable rings