Equational Logic Papers

Equational Logic and Abstract Algebra

• authors: Taje I. Ramsamujh
• date: 2001
• url: http://sections.maa.org/florida/proceedings/2001/ramsamujh.pdf

Article (expanded version of a talk).

Equational logic, unification and term rewriting

• authors: Erik Palmgren
• date: 2007
• url: https://www2.math.uu.se/~palmgren/tillog/equlogic07.pdf
• topics: Equational Logic, Unification, Term Rewriting

.

Field Guide to Equational Logic

• authors: George F. McNulty
• date: 1992
• url: https://www.sciencedirect.com/science/article/pii/074771719290013T

.

Equational Logic (Course Notes, USC, Spring 2017)

• authors: George F. McNulty
• date: 2017
• url: https://people.math.sc.edu/mcnulty/alglatvar/equationallogic.pdf
• format: course-notes

.

Euclid's Elements as an Equational Theory

• authors: Vaughn Pratt
• date: 2015
• url: http://boole.stanford.edu/pub/USyd2015.pdf
• format: talk-slides

.

Meadows and the Equational Specification of Division

• authors: J.A. Bergstra, Y. Hirshfeld, J.V. Tucker
• date: 2009
• url: https://arxiv.org/abs/0901.0823v1

.

Survey of the Equational Programming Project

• authors: Michael J. O'Donnell
• date: 1987
• url: https://people.cs.uchicago.edu/~odonnell/OData/Technical_Papers/Survey_ELP/description.html

PS and DVI at that link.

Programming with Equations

• authors: Christoph M. Hoffmann, Michael J. O'Donnell
• date: 1982
• publication: TOPLAS January 1982
• url: https://www.cs.purdue.edu/cgvlab/www/publications/hoffmann1982programming/

.