Unification in Varieties of Idempotent Semigroups
Aus International Center for Computational Logic
Unification in Varieties of Idempotent Semigroups
Franz BaaderFranz Baader

Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
- Forschungsgruppe:Research Group: Automatentheorie
@article{ Baader-SemigroupForum-87, author = {F. {Baader}}, journal = {Semigroup Forum}, pages = {127--145}, title = {Unification in Varieties of Idempotent Semigroups}, volume = {36}, year = {1987}, }