scientific article; zbMATH DE number 3872682

MaRDI QIDQ3339290zbMATH OpenFDO

Authors Luděk Kučera, Věra Trnková

Publication date 1984

zbMATH Keywords

algorithmfirst order propertiesgroupoidisomorphismsurveyunary algebrasvarieties of algebras

Mathematics Subject Classification ID

Word problems (aspects of algebraic structures) (08A50) Unary algebras (08A60) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 1304317
• Universal algebra and applications in theoretical computer science
• scientific article; zbMATH DE number 3936520
• scientific article; zbMATH DE number 3915503
• scientific article; zbMATH DE number 2009986
• Computers and universal algebra: Some directions
• Computational complexity of some problems involving congruences on algebras
• Computational complexity in algebraic systems
• scientific article; zbMATH DE number 4085634
• scientific article; zbMATH DE number 3972183

Cited in

(15)

• Verifying nonrigidity
• Algorithmic complexity of the problem of occurrence in commutants and members of the lower central series
• On computation complexity problems concerning relation algebras
• Computers and universal algebra: Some directions
• The isomorphism problem for varieties generated by a two-element algebra
• Complexity of the normalization of algebras
• The constraint satisfaction problem and universal algebra
• scientific article; zbMATH DE number 4217898 (Why is no real title available?)
• FINDING TYPE SETS IS NP-HARD
• scientific article; zbMATH DE number 1304317 (Why is no real title available?)
• scientific article; zbMATH DE number 1507184 (Why is no real title available?)
• Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
• COMPUTATIONAL COMPLEXITY OF GENERATORS AND NONGENERATORS IN ALGEBRA
• Security in Communication Networks
• Computational complexity of some problems involving congruences on algebras

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