scientific article; zbMATH DE number 3561326

zbMATH Open0361.02056MaRDI QIDQ4133962FDOQ4133962

Authors: Antoni Kreczmar 

Publication date: 1977

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Applications of computability and recursion theory (03D80)

Cited In (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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133962)