Reviews matching “Canonical Equational Proofs”

2 results

BookAuthorReviewerJournalDate
Canonical Equational Proofs Leo Bachmair John Pedersen The Philosophical Quarterly 1992-07-01
Canonical equational proofs. Progress in theoretical computer science Leo Bachmair John Pedersen The Journal of Symbolic Logic 1992

Open this search with filters