Login | Register

Simplifying the Knuth-Bendix completion procedure for equational systems

Title:

Simplifying the Knuth-Bendix completion procedure for equational systems

Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.

[img]
Preview
Text (application/pdf)
ML51359.pdf
3MB

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Steele, Adam
Pagination:77 leaves: ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Computer Science and Software Engineering
Date:1989
ID Code:4224
Deposited By: Concordia University Libraries
Deposited On:27 Aug 2009 19:37
Last Modified:04 Nov 2016 21:07
Related URLs:
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

Downloads per month over past year

Back to top Back to top