↓ Skip to main content

Automated deduction in equational logic and cubic curves

Overview of attention for book
Attention for Chapter 6: Lattice-like algebras
Altmetric Badge

Citations

dimensions_citation
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
Lattice-like algebras
Chapter number 6
Book title
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61398-6_6
Book ISBNs
978-3-54-061398-5, 978-3-54-068522-7