RGCn-commutative Δ-semigroups
✍ Scribed by Attila Nagy
- Publisher
- Springer
- Year
- 1998
- Tongue
- English
- Weight
- 100 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0037-1912
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Unification is one of the basic concepts of automated theorem proving. It concerns such questions as finding solutions of finite sets of equations, determining if every solution comes from a most general solution, and if so, determining how many most general solutions are needed to generate all solu
Commutative Kleene semigroups are known to be rational, but Pelletier constructed a nonrational weakly commutative Kleene semigroup. We introduce slightly commutative Kleene semigroups, a class of weakly commutative Kleene semigroups, and prove that every slightly commutative Kleene semigroup is rat