The following pages link to (Q4938605):
Displaying 4 items.
- Combining word problems through rewriting in categories with products (Q1398463) (← links)
- Deciding the word problem in the union of equational theories. (Q1400706) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- The Tutte-Grothendieck group of an alphabetic rewriting system (Q1952720) (← links)