Automated deduction in equational logic and cubic curves

Overview of attention for book

Cover of 'Automated deduction in equational logic and cubic curves'

Table of Contents

Attention for Chapter 2: Otter and MACE

Altmetric Badge

Citations

dimensions_citation: 33 Dimensions

Summary Dimensions citations

So far, Dimensions has found 33 publications that cite this research output.

33

The most recent citing publications are shown below. View all 33 publications that cite this research output on Dimensions.

Automatization of Ternary Boolean Algebras

Article in Formalized Mathematics (December 2021)

On Weakly Associative Lattices and Near Lattices

Article in Formalized Mathematics (July 2021)

Formalization of Quasilattices

Article in Formalized Mathematics (July 2020)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.