scientific article; zbMATH DE number 3436613
From MaRDI portal
Publication:4403720
zbMath0277.68024MaRDI QIDQ4403720
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Other algebras related to logic (03G25) General topics in the theory of software (68N01)
Related Items (4)
Semi-Post algebras ⋮ Subalgebras and homomorphisms of semi-Post algebras ⋮ Algorithmic logic. Multiple-valued extensions ⋮ The Gentzen style axiomatization of \(\omega^+\)-valued logic
This page was built for publication:
