Unification in Commutative Idempotent Monoids
From International Center for Computational Logic
Unification in Commutative Idempotent Monoids
Franz BaaderFranz Baader, W. BüttnerW. Büttner
![Unification in Commutative Idempotent Monoids Unification in Commutative Idempotent Monoids](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderBuettner-TCS-88,
author = {F. {Baader} and W. {B{\"u}ttner}},
journal = {J. Theoretical Computer Science},
pages = {345--352},
title = {Unification in Commutative Idempotent Monoids},
volume = {56},
year = {1988},
}