Pages that link to "Item:Q5803323"
From MaRDI portal
The following pages link to The Word Problem for Abstract Algebras (Q5803323):
Displaying 50 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Lattices freely generated by an order and preserving certain bounds (Q412015) (← links)
- Partition semantics for relations (Q579957) (← links)
- Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities (Q584245) (← links)
- Beziehungen zwischen verbands-ähnlichen Algebren und geregelten Mengen (Q770062) (← links)
- On free modular lattices. II (Q775840) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Free products and the word problem (Q1108303) (← links)
- On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups (Q1177464) (← links)
- On the word problem of lattices with the help of graphs (Q1182531) (← links)
- Equational classes of Steiner systems (Q1219904) (← links)
- Strong finite embeddability for classes of quasigroups (Q1224123) (← links)
- A finite partial idempotent latin cube can be embedded in a finite idempotent latin cube (Q1229210) (← links)
- Finite embeddability in a class of infinitary algebras (Q1234706) (← links)
- Intersection preserving finite embedding theorems for partial quasigroups (Q1241819) (← links)
- Deciding embeddability of partial groupoids into semigroups (Q1293382) (← links)
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups (Q1358940) (← links)
- The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups (Q1403857) (← links)
- Algorithmic problems for amalgams of finite semigroups (Q1579152) (← links)
- Finiteness properties of direct products of algebraic structures (Q1680281) (← links)
- Symmetric embeddings of free lattices into each other (Q1729792) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
- A Horn sentence for involution lattices of quasiorders (Q1842101) (← links)
- On finitely presented and free algebras of Cantor varieties (Q1847294) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Algorithmic solvability of the word problem for some varieties of linear quasigroups. (Q2248331) (← links)
- The class of topological spaces is equationally definable (Q2264787) (← links)
- Characteristic inference rules (Q2342800) (← links)
- On the multiplicative groups of free and free commutative quasigroups (Q2399986) (← links)
- On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups (Q2399987) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Solution of the basic algorithmic problems in some classes of quasigroups with identities (Q2538663) (← links)
- Free decompositions in certain primitive classes of abstract algebras (Q2544783) (← links)
- Embedding partial idempotent Latin squares (Q2545693) (← links)
- Finite partial cyclic triple systems can be finitely embedded (Q2546871) (← links)
- Identities preserved by the singular direct product (Q2547287) (← links)
- Finite embedding theorems for partial Latin squares, quasi-groups, and loops (Q2555503) (← links)
- The Word Problem for Finitely Presented Quandles is Undecidable (Q2947455) (← links)
- Completely Free Lattices Generated by Partially Ordered Sets (Q3237196) (← links)
- Finitely Presented Lattices: Canonical Forms and the Covering Relation (Q3813846) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)
- Primitive Elements and One Relation Algebras (Q4044649) (← links)
- Finitely Presented Lattices (Q4168951) (← links)
- Word problems (Q4170710) (← links)
- Potential Divisibility in Finite Semigroups is Undecidable (Q4704561) (← links)
- A Variety Where the Set of Subalgebras of Finite Simple Algebras is Not Recursive (Q4704562) (← links)
