Pages that link to "Item:Q3712329"
From MaRDI portal
The following pages link to The word problem for cancellation semigroups with zero (Q3712329):
Displayed 7 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS (Q4513305) (← links)