1385 search results - page 31 / 277 » Natural Rewriting for General Term Rewriting Systems |
ISIM
2007
15 years 3 months ago
2007
150
click to vote
MCMASTER
1993
15 years 6 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
ICGI
2004
Springer
15 years 7 months ago
2004
Springer
111
click to vote
ENTCS
2002
15 years 1 months ago
2002
Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...
104
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...