@inproceedings{e7907dd57e294aa28e0316bda4d3019f,
title = "Canonical conditional rewrite systems",
abstract = "Conditional equations have been studied for their use in the specification of abstract data types and as a computational paradigm that combines logic and function programming in a clean way. In this paper we examine different formulations of conditional equations as rewrite systems, compare their expressive power and give sufficient conditions for rewrite systems to have the “confluence” property. We then examine a restriction of these systems using a “decreasing” ordering. With this restriction, most of the basic notions (like rewriting and computing normal forms) are decidable, the “critical pair” lemma holds, and some formulations preserve canonicity.",
author = "Nachum Dershowitz and Mitsuhiro Okada and G. Sivakumar",
note = "Publisher Copyright: {\textcopyright} 1988, Springer-Verlag.; 9th International Conference on Automated Deduction, CADE 1988 ; Conference date: 23-05-1988 Through 26-05-1988",
year = "1988",
doi = "10.1007/BFb0012855",
language = "אנגלית",
isbn = "9783540193432",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "538--549",
editor = "Ewing Lusk and Ross Overbeek",
booktitle = "9th International Conference on Automated Deduction, Proceedings",
address = "גרמניה",
}