An introduction to Knuth-Bendix completion
type: CreativeWork
type: Book
type: ProductModel
issued: 1988
about: p075603233
author: p068413955
author: p07540916X
contributor: p073050970
language: en
is part of: p042305667
main entity of page: https://data.bibliotheken.nl/.well-known/genid/3e6cfce125d5a93646e41199cfb366a9
number of pages: 23
label: An introduction to Knuth-Bendix completion / J.W. Klop, A. Middeldorp