23201 search results - page 61 / 4641 » Rewriting Systems with Data |
145
Voted
RR
2010
Springer
14 years 11 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
118
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
119
Voted
CSJM
2008
15 years 27 days 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...
112
Voted
BIRTHDAY
2005
Springer
15 years 6 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 ...
108
Voted
CSR
2009
Springer
15 years 4 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...