scientific article; zbMATH DE number 3851055

MaRDI QIDQ3320347zbMATH OpenFDO

Authors M. M. Erimbetov

Publication date 1980

zbMATH Keywords

algorithmic logicarray-regular logicdynamic logicexpressive powerlogic with recursive procedures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Basic properties of first-order languages and structures (03C07) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3959378
• scientific article; zbMATH DE number 939032
• scientific article; zbMATH DE number 3309205
• Model-Theoretic Logics
• scientific article; zbMATH DE number 3972168
• scientific article; zbMATH DE number 3985194
• scientific article; zbMATH DE number 4021109
• An algebraic model for programming languages
• scientific article; zbMATH DE number 4047713
• scientific article; zbMATH DE number 3928978

Cited in

(9)

• Algorithmic properties of models with signatures containing two unary functional symbols
• scientific article; zbMATH DE number 3859085 (Why is no real title available?)
• Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes
• scientific article; zbMATH DE number 3917732 (Why is no real title available?)
• scientific article; zbMATH DE number 3959378 (Why is no real title available?)
• scientific article; zbMATH DE number 3968564 (Why is no real title available?)
• scientific article; zbMATH DE number 4021109 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 4091475 (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 Q3320347)