DMCA
A General Theory of Sharing Graphs (1998)
Cached
Download Links
- [www.ircs.upenn.edu]
- [twiki.di.uniroma1.it]
- [ftp.dcs.qmw.ac.uk]
- [ftp.cis.upenn.edu]
- DBLP
Other Repositories/Bibliography
by
Stefano Guerrini
| Venue: | Theoret. Comput. Sci |
| Citations: | 5 - 4 self |
BibTeX
@TECHREPORT{Guerrini98ageneral,
author = {Stefano Guerrini},
title = {A General Theory of Sharing Graphs},
institution = {Theoret. Comput. Sci},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper. 12 Conclusions and further work The box nesting property is the minimal (and natural) requirement under which the sharing reductions can be used to get a local and distributed implementation of fi-like rules. It is our aim to study how the class of the calculi having the box nesting property relates with the classes already studied by the term graph rewriting community. As shown by the relevant examples of
