How to Choose the Weights in the Knuth Bendix Ordering

Ursula Hilda Mary Martin

doi:10.1007/3-540-17220-3_4

How to Choose the Weights in the Knuth Bendix Ordering

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications
Editors	P Lescanne
Publisher	Springer-Verlag
Pages	42-53
ISBN (Print)	978-3-540-17220-8
DOIs	https://doi.org/10.1007/3-540-17220-3_4
Publication status	Published - 1987
Event	Second International Conference on Rewriting Techniques and Applications, "RTA 87" - Bordeaux, France Duration: 25 May 1987 → 27 May 1987

Publication series

Name	Lecture Notes in Computer Science
Volume	256

Conference

Conference	Second International Conference on Rewriting Techniques and Applications, "RTA 87"
Country/Territory	France
City	Bordeaux
Period	25/05/87 → 27/05/87

Access to Document

10.1007/3-540-17220-3_4

Cite this

Martin, U. H. M. (1987). How to Choose the Weights in the Knuth Bendix Ordering. In P. Lescanne (Ed.), Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications (pp. 42-53). (Lecture Notes in Computer Science; Vol. 256). Springer-Verlag. https://doi.org/10.1007/3-540-17220-3_4

@inproceedings{09481631cdf24cc6a3d27df0c2e9f9aa,

title = "How to Choose the Weights in the Knuth Bendix Ordering",

author = "Martin, {Ursula Hilda Mary}",

year = "1987",

doi = "10.1007/3-540-17220-3_4",

language = "English",

isbn = "978-3-540-17220-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "42--53",

editor = "P Lescanne",

booktitle = "Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications",

address = "Germany",

note = "Second International Conference on Rewriting Techniques and Applications, {"}RTA 87{"} ; Conference date: 25-05-1987 Through 27-05-1987",

}

Martin, UHM 1987, How to Choose the Weights in the Knuth Bendix Ordering. in P Lescanne (ed.), Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications. Lecture Notes in Computer Science, vol. 256, Springer-Verlag, pp. 42-53, Second International Conference on Rewriting Techniques and Applications, "RTA 87", Bordeaux, France, 25/05/87. https://doi.org/10.1007/3-540-17220-3_4

How to Choose the Weights in the Knuth Bendix Ordering. / Martin, Ursula Hilda Mary.
Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications. ed. / P Lescanne. Springer-Verlag, 1987. p. 42-53 (Lecture Notes in Computer Science; Vol. 256).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - How to Choose the Weights in the Knuth Bendix Ordering

AU - Martin, Ursula Hilda Mary

PY - 1987

Y1 - 1987

U2 - 10.1007/3-540-17220-3_4

DO - 10.1007/3-540-17220-3_4

M3 - Conference contribution

SN - 978-3-540-17220-8

T3 - Lecture Notes in Computer Science

SP - 42

EP - 53

BT - Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings; Second International Conference on Rewriting Techniques and Applications

A2 - Lescanne, P

PB - Springer-Verlag

T2 - Second International Conference on Rewriting Techniques and Applications, "RTA 87"

Y2 - 25 May 1987 through 27 May 1987

ER -