Canonical equational proofs. Progress in theoretical computer science

Name: Canonical equational proofs. Progress in theoretical computer science
Author: Leo Bachmair

by Leo Bachmair · 1 review · 1992

Reviewed by	Journal	Date	Access
John Pedersen	The Journal of Symbolic Logic	1992	Restricted

Also by Bachmair