scientific article; zbMATH DE number 3823133

zbMATH Open0519.68047MaRDI QIDQ3668860FDOQ3668860

Authors: Uwe Petermann 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

deductive systempartial operationsalgorithm logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Program-substitution and admissibility of rules in algorithmic logic

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 Q3668860)