Rewrite, rewrite, rewrite, rewrite, rewrite, ...

Nachum Dershowitz*, Stéphane Kaplan, David A. Plaisted

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


We study properties of rewrite systems that are not necessarily terminating, but allow instead for transfinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of infinitary theories. We also consider sufficient completeness of hierarchical systems.

Original languageEnglish
Pages (from-to)71-96
Number of pages26
JournalTheoretical Computer Science
Issue number1
StatePublished - 21 Jun 1991
Externally publishedYes


Dive into the research topics of 'Rewrite, rewrite, rewrite, rewrite, rewrite, ...'. Together they form a unique fingerprint.

Cite this