On logic of complex algorithms

DOI10.1007/BF02584062zbMath0479.68037OpenAlexW2350057MaRDI QIDQ1162145

Helena Rasiowa

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02584062

zbMATH Keywords

completeness theoremrecursive proceduresalgorithmic logicdeterministic programsaxiomatization of LCAinteracting stacks-programsomega-+- valued logicrecursive coroutines

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Semi-Post algebras

Cites Work

• Algorithmic logic. Multiple-valued extensions
• First-order dynamic logic
• Design of a separable transition-diagram compiler
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item