How to Choose the Weights in the Knuth Bendix Ordering

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Citations (Scopus)
Original languageEnglish
Title of host publicationRewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications
EditorsP Lescanne
PublisherSpringer-Verlag
Pages42-53
ISBN (Print)978-3-540-17220-8
DOIs
Publication statusPublished - 1987
EventSecond International Conference on Rewriting Techniques and Applications, "RTA 87" - Bordeaux, France
Duration: 25 May 198727 May 1987

Publication series

NameLecture Notes in Computer Science
Volume256

Conference

ConferenceSecond International Conference on Rewriting Techniques and Applications, "RTA 87"
Country/TerritoryFrance
CityBordeaux
Period25/05/8727/05/87

Cite this