Linear interpretations by counting patterns

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

Abstract / Description of output

We introduce a new family of well-founded monotonic orderings on terms, constructed bu counting certain patterns in terms called zig-zags. These extend the familiar Knuth Bendix orderings, providing in general continuum many distinct new orderings with a given choice of Knuth-Bendix weight.
Original languageEnglish
Title of host publicationRewriting Techniques and Applications
Subtitle of host publication5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
EditorsClaude Kirchner
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Pages421-433
Number of pages13
ISBN (Print)978-3-662-21551-7
DOIs
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
Volume690

Fingerprint

Dive into the research topics of 'Linear interpretations by counting patterns'. Together they form a unique fingerprint.

Cite this