882 search results - page 46 / 177 » A Taste of Rewrite Systems |
145
click to vote
CSJM
2008
15 years 3 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
144
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
We propose two transformations on term rewrite systems (TRSs) based on reducing right hand sides: one related to the transformation order and a variant of dummy elimination. Under ...
128
click to vote
CSR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem has a history of 100 years, and it is centra...
117
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
117
click to vote
XIMEP
2005
ACM
15 years 8 months ago
2005
ACM
We present in this paper a system for rewriting user-specific XPath queries for higher sharing of common sub-expressions in a streaming environment. We rewrite these queries acco...