scientific article; zbMATH DE number 58733

zbMATH Open0754.68020MaRDI QIDQ4007002FDOQ4007002

Authors: V. P. Makarov 

Publication date: 27 September 1992

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

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

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)

Cited In (5)

• Structure and enumeration theorems for hereditary properties in finite relational languages
• Title not available (Why is that?)
• Definition-like Extensions by Sorts
• Title not available (Why is that?)
• Automated Deduction – CADE-20

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)