scientific article; zbMATH DE number 3558938
From MaRDI portal
zbMath0358.68035MaRDI QIDQ4130976
Andrzej Salwicki, Grazyna Mirkowska, Antoni Kreczmar, Lech Banachowski, Helena Rasiowa
Publication date: 1977
Full work available at URL: https://eudml.org/doc/208573
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Classical propositional logic (03B05) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
A simple dynamic logic, First-order approximation of algorithmic theories, Unnamed Item, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, Application of modal logic to programming, Proving total correctness of nondeterministic programs in infinitary logic, Non-recursiveness of the operations on real numbers, A formal system for parallel programs in discrete time and space, Floyd's principle, correctness theories and program equivalence, Process logic: Expressiveness, decidability, completeness, On strictly arithmetical completeness in logics of programs, Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas, Invertible infinitary calculus without loop rules for restricted FTL, Analysis and synthesis of structured parallel programs
