Opening book details…
Can I read Unification in Commutative Theories on EtoBox?
Unification in Commutative Theories by Franz Baader is a Computer Science article available to read on EtoBox.
What is Unification in Commutative Theories about?
A general framework for unification in "commutative" theories is investigated which is based on a categorical reformulation of theory unification. We thus obtain the well-known results for abelian groups, abelian monoids and idempotent abelian monoids as well as some new results as corollaries to a general theorem. In addition, it is shown that constant-free unification problems in "commutative" theories are either unitary or of tmificatlon type zero and we give an example of a "commutative" theory of type zero.
Who reads Unification in Commutative Theories?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Franz Baader
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)
- Published
- 1989
- Language
- EN
- Field
- Computer Science (Physical Sciences)