1385 search results - page 34 / 277 » Natural Rewriting for General Term Rewriting Systems |
119
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
108
click to vote
PODC
2009
ACM
16 years 2 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
140
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
114
click to vote
SIS
2007
15 years 3 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
102
click to vote
ACL
2004
15 years 3 months ago
2004
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...