Pages that link to "Item:Q1398463"
From MaRDI portal
The following pages link to Combining word problems through rewriting in categories with products (Q1398463):
Displayed 5 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- 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)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)