Unification in Partially Commutative Semigroups

Authors
E.K.Burke
Citation
E.k.burke, Unification in Partially Commutative Semigroups, Journal of automated reasoning , 12(2), 1994, pp. 209-224
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
2
Year of publication
1994
Pages
209 - 224
Database
ACNP
SICI code