Equational completion by proof transformation
Equational completion by proof transformation
1986
Wolfgang Küchlin
Details
First published
1986
OL Work ID
OL37092058W
Find this book
Open Library