scientific article; zbMATH DE number 3801523

zbMATH Open0508.03021MaRDI QIDQ4745815FDOQ4745815

Authors: Jerzy Tiuryn 

Publication date: 1981

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

zbMATH Keywords

completeness theoremlogic of programsalgorithmic propertyeffective definitions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of numerations, effectively presented structures (03D45) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Floyd's principle, correctness theories and program equivalence

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