A note on simplification orderings

Nachum Dershowitz

doi:10.1016/0020-0190(79)90071-1

A note on simplification orderings

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	212-215
Number of pages	4
Journal	Information Processing Letters
Volume	9
Issue number	5
DOIs	https://doi.org/10.1016/0020-0190(79)90071-1
State	Published - 16 Dec 1979
Externally published	Yes

Keywords

Simplification orderings
term-rewriting
termination
well-founded orderings

Access to Document

10.1016/0020-0190(79)90071-1

Cite this

@article{9669a71533504f71b25eea784cffc517,

title = "A note on simplification orderings",

keywords = "Simplification orderings, term-rewriting, termination, well-founded orderings",

author = "Nachum Dershowitz",

note = "Funding Information: under NSF Grant MCS77-",

year = "1979",

month = dec,

day = "16",

doi = "10.1016/0020-0190(79)90071-1",

language = "אנגלית",

volume = "9",

pages = "212--215",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - A note on simplification orderings

AU - Dershowitz, Nachum

N1 - Funding Information: under NSF Grant MCS77-

PY - 1979/12/16

Y1 - 1979/12/16

KW - Simplification orderings

KW - term-rewriting

KW - termination

KW - well-founded orderings

UR - http://www.scopus.com/inward/record.url?scp=0000386539&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(79)90071-1

DO - 10.1016/0020-0190(79)90071-1

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0000386539

SN - 0020-0190

VL - 9

SP - 212

EP - 215

JO - Information Processing Letters

JF - Information Processing Letters

IS - 5

ER -

A note on simplification orderings

Keywords

Access to Document

Other files and links

Cite this