scientific article; zbMATH DE number 3558938
From MaRDI portal
Publication:4130976
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 (14)
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
This page was built for publication:
