scientific article; zbMATH DE number 58733

MaRDI QIDQ4007002zbMATHFDO

Authors V. P. Makarov

Publication date 27 September 1992

zbMATH Keywords

object-oriented programminghereditary extension of many-sorted first-order theoriesmathematical specification language MSL

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Basic properties of first-order languages and structures (03C07)

Recommendations

• Inherited extension of many-sorted theories
• Hereditarily finite sets in constructive type theory
• Hereditary properties of semi-separation axioms and their applications
• Hereditary undecidability of some theories of finite structures
• Hereditarily finitely axiomatizable extensions of logic S4
• scientific article; zbMATH DE number 2167511
• Hereditary finite axiomatizability of the logic \(\mathrm{SL}^n\)
• scientific article; zbMATH DE number 599450
• scientific article; zbMATH DE number 3241262
• A hierarchy of hereditarily finite sets

Cited in

(5)

• Automated Deduction – CADE-20
• Definition-like Extensions by Sorts
• scientific article; zbMATH DE number 1678370 (Why is no real title available?)
• Structure and enumeration theorems for hereditary properties in finite relational languages
• scientific article; zbMATH DE number 7204430 (Why is no real title available?)

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