↓ Skip to main content

Automated deduction in equational logic and cubic curves

Overview of attention for book
Attention for Chapter 7: Independent self-dual bases
Altmetric Badge


25 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Independent self-dual bases
Chapter number 7
Book title
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61398-6_7
Book ISBNs
978-3-54-061398-5, 978-3-54-068522-7