Origin Tracking (1992)
by
A. Van Deursen
,
A. Van Deursen
,
P. Klint
,
P. Klint
,
F. Tip
,
F. Tip
| Venue: | Journal of Symbolic Computation |
| Citations: | 43 - 19 self |
BibTeX
@ARTICLE{Deursen92origintracking,
author = {A. Van Deursen and A. Van Deursen and P. Klint and P. Klint and F. Tip and F. Tip},
title = {Origin Tracking},
journal = {Journal of Symbolic Computation},
year = {1992},
volume = {15},
pages = {523--545}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In the framework of conditional, not necessarily orthogonal, term rewriting systems,
