584 search results - page 3 / 117 » Logic Programs as term Rewriting Systems |
LATA
2009
Springer
14 years 16 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
ECEASST
2008
13 years 5 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
IFIP
1999
Springer
13 years 10 months ago
1999
Springer
ENTCS
2007
13 years 5 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...