Pages that link to "Item:Q1902542"
From MaRDI portal
The following pages link to Computers and universal algebra: Some directions (Q1902542):
Displaying 13 items.
- Constructive universal algebra: An introduction (Q579289) (← links)
- Some remarks on blowing-ups in a computer algebra system (Q947001) (← links)
- Computing congruences efficiently (Q1001460) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Eliminating unbounded search in computable algebra (Q2011637) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- (Q3339290) (← links)
- (Q3985360) (← links)
- (Q4407974) (← links)
- ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS (Q4531634) (← links)
- COMPUTATIONAL COMPLEXITY OF GENERATORS AND NONGENERATORS IN ALGEBRA (Q4791998) (← links)