scientific article; zbMATH DE number 3558938
From MaRDI portal
Publication:4130976
zbMATH Open0358.68035MaRDI QIDQ4130976FDOQ4130976
Authors: Lech Banachowski, Antoni Kreczmar, Grazyna Mirkowska, Helena Rasiowa, Andrzej Salwicki 
Publication date: 1977
Full work available at URL: https://eudml.org/doc/208573
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) Classical propositional logic (03B05) Classical first-order logic (03B10) Algorithms in computer science (68W99)
Cited In (14)
- Invertible infinitary calculus without loop rules for restricted FTL
- Application of modal logic to programming
- Proving total correctness of nondeterministic programs in infinitary logic
- First-order approximation of algorithmic theories
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- Title not available (Why is that?)
- Analysis and synthesis of structured parallel programs
- A simple dynamic logic
- A formal system for parallel programs in discrete time and space
- Non-recursiveness of the operations on real numbers
- Process logic: Expressiveness, decidability, completeness
- Floyd's principle, correctness theories and program equivalence
- On strictly arithmetical completeness in logics of programs
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
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 Q4130976)
