882 search results - page 8 / 177 » A Taste of Rewrite Systems |
91
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
A partial monoid P is a set with a partial multiplication
101
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
92
Voted
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
100
Voted
DSL
2009
14 years 10 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
86
Voted
PLILP
1998
Springer
15 years 4 months ago
1998
Springer
A property P of term rewriting systems is persistent if for any many-sorted term rewriting system R, R has the property P if and only if its underlying term rewriting system (R), ...