scientific article; zbMATH DE number 3639140
From MaRDI portal
Publication:4198053
zbMath0411.68035MaRDI QIDQ4198053
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (3)
Functional completeness criteria in Dijkstra algebra ⋮ Criteria of functional completeness for meta-algebras without assignments of logical constants ⋮ Functional completeness in iterative meta-algebras
This page was built for publication: