The Church Rosser property in computer algebra and special theorem proving
Subtitle: an investigation of critical pair, completion algorithms
By: Franz Winkler.
Series: Dissertationen der Johannes Kepler-Universität Linz ;; 49
Publisher: VWGÖ
Published: 1984
Place of publication: Wien
Language: eng
Number of pages: 193
Subjects: Algebra, Universal -- Data processing.; Computer algorithms.; Automatic theorem proving.
Notes: Bibliography: p. 182-193.