scientific article; zbMATH DE number 3806911

MaRDI QIDQ4749182zbMATH OpenFDO

Authors István Németi

Publication date 1981

zbMATH Keywords

dynamic algebraquasivarietyrelativization

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other algebras related to logic (03G25) Quasivarieties (08C15) General topics in the theory of software (68N01)

Cited in

(6)

• Dynamic algebras with test
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• On dynamic algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• A unifying theorem for algebraic semantics and dynamic logics
• Algebraic_VCs

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