23201 search results - page 72 / 4641 » Rewriting Systems with Data |
105
click to vote
IS
2006
15 years 1 months ago
2006
We propose a micro-benchmark for XML data management to aid engineers in designing improved XML processing engines. This benchmark is inherently different from application-level b...
123
Voted
ENTCS
2002
15 years 27 days ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
106
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
97
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
96
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...