scientific article
From MaRDI portal
Publication:3718146
zbMath0589.68027MaRDI QIDQ3718146
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deductionpropositional formulasautomatic synthesis of programs from specifications described byautomatic synthesis of programs from specifications described by propositional formulasprogramming system PRIZ
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (4)
A tableau-like proof procedure for normal modal logics ⋮ The programming system PRIZ ⋮ Computational and attribute models of formal languages ⋮ The programming system PRIZ
This page was built for publication:
