Unification in Varieties of Idempotent Semigroups
From International Center for Computational Logic
Unification in Varieties of Idempotent Semigroups
Franz BaaderFranz Baader
Franz Baader
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Baader-SemigroupForum-87,
author = {F. {Baader}},
journal = {Semigroup Forum},
pages = {127--145},
title = {Unification in Varieties of Idempotent Semigroups},
volume = {36},
year = {1987},
}