23201 search results - page 67 / 4641 » Rewriting Systems with Data |
87
Voted
RTA
1987
Springer
15 years 4 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
86
Voted
TIT
2010
14 years 7 months ago
2010
Abstract--Memories whose storage cells transit irreversibly between states have been common since the start of the data storage technology. In recent years, flash memories have bec...
82
Voted
ICCS
2003
Springer
15 years 6 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
124
Voted
FUIN
2006
15 years 26 days ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
84
Voted
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, a message-oriented architecture for large database summarization is presented. The summarization system takes a database table as input and produces a reduced versi...