scientific article; zbMATH DE number 35404

MaRDI QIDQ3989925zbMATH OpenFDO

Authors Ewa Graczyńska

Publication date 28 June 1992

zbMATH Keywords

class problemregular equations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Decision problems concerning properties of finite sets of equations
• scientific article; zbMATH DE number 4099397
• scientific article; zbMATH DE number 169732
• Decidable properties of finite sets of equations in trivial languages
• Equations between Regular Terms and an Application to Process Logic

Cited in

(4)

• A codicity undecidable problem in the plane.
• Decision problems concerning properties of finite sets of equations
• scientific article; zbMATH DE number 1186371 (Why is no real title available?)
• On Remainder Equations

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