scientific article; zbMATH DE number 3561326
From MaRDI portal
Publication:4133962
zbMath0361.02056MaRDI QIDQ4133962
Publication date: 1977
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)
Related Items (3)
Program-substitution and admissibility of rules in algorithmic logic ⋮ Contribution of Warsaw logicians to computational logic ⋮ On the elimination of iteration quantifiers in a fragment of algorithmic logic
This page was built for publication:
