Missing/wrong data?
Log in to edit
Combination Problems for Commutativef0003/Monoidal Theories or How Algebra Can Help in Equational Unification
scholarly article by Franz Baader & Werner Nutt published 1 June 1996 in Applicable Algebra in Engineering Communication and Computing
Author/s
Work details
Publication date
June 1, 1996
-
-
Copyright status
Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.
To learn more about copyright terms in different countries, visit the countries and terms page.