@inproceedings{a4d7e9a769ce47c38b0aee8f7a54ad73,
title = "Equivalences of rewrite programs",
abstract = "In this paper, we formulate syntactic, operational, and semantic equivalence concepts for rewrite programs in various formalisms, and study their properties and inter-relations.",
author = "Mohan, {Chilukuri K.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 2nd International Workshop on Conditional and Typed Rewriting Systems, CTRS 1990 ; Conference date: 11-06-1990 Through 14-06-1990",
year = "1991",
doi = "10.1007/3-540-54317-1_82",
language = "English (US)",
isbn = "9783540543176",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "92--97",
editor = "Stephane Kaplan and Mitsuhiro Okada",
booktitle = "Conditional and Typed Rewriting Systems - 2nd International CTRS Workshop, Proceedings",
}