Equational completion by proof transformation
By: Wolfgang Küchlin
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1986
Language: eng
Number of pages: 40
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1986.