23201 search results - page 61 / 4641 » Rewriting Systems with Data |
194
click to vote
RR
2010
Springer
15 years 3 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 ...
157
click to vote
FSTTCS
2006
Springer
15 years 8 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...
166
click to vote
CSJM
2008
15 years 5 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...
168
click to vote
BIRTHDAY
2005
Springer
15 years 10 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 ...
147
click to vote
CSR
2009
Springer
15 years 9 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...