Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Pagination:||77 leaves: ill. ; 29 cm.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 19:37|
|Last Modified:||08 Dec 2010 15:37|
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page