1385 search results - page 60 / 277 » Natural Rewriting for General Term Rewriting Systems |
154
click to vote
RULEML
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
139
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...
183
click to vote
FCT
1999
Springer
15 years 10 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
169
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Both Topic Maps and RDF are popular semantic web standards designed for machine processing of web documents. Since these representations were originally created for different purpo...
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...