@inproceedings{5f2299ad7e00470d999c8eec7a7eb1bb,
title = "Rewrite, rewrite, rewrite, rewrite, rewrite ...",
abstract = "The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness.",
author = "Nachum Dershowitz and Stephane Kaplan",
note = "Funding Information: * Preliminary versions [6,7] of ideas in this paper were presented at the Sixteenth ACM Symposium on Principles of Programming Languages, Austin, TX (January 1989) and at the Sixteenth EATCS International Colloquium on Automata, Languages and Programming, Stresa, Italy (July 1989). ** Supported in part by the U.S. National Science Foundation under Grant CCR 90-07195. *** Supported in part by the European Communities under ESPRIT project 432 (METEOR). t Supported in part by the U.S. National Science Foundation under Grant CCR 88-02282.; null ; Conference date: 11-01-1989 Through 13-01-1989",
year = "1989",
doi = "10.1145/75277.75299",
language = "אנגלית",
isbn = "0897912942",
series = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",
publisher = "Association for Computing Machinery (ACM)",
pages = "250--259",
booktitle = "Conf Rec Sixteenth Annu ACM Symp Princ Program Lang",
address = "ארצות הברית",
}