The Theory of Idempotent Semigroups is of Unification Type Zero
From International Center for Computational Logic
The Theory of Idempotent Semigroups is of Unification Type Zero
Franz BaaderFranz Baader
![The Theory of Idempotent Semigroups is of Unification Type Zero The Theory of Idempotent Semigroups is of Unification Type Zero](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Baader-JAR-86,
author = {F. {Baader}},
journal = {J. Automated Reasoning},
pages = {283--286},
title = {The Theory of Idempotent Semigroups is of Unification Type Zero},
volume = {2},
year = {1986},
}