584 search results - page 3 / 117 » Logic Programs as term Rewriting Systems |
100
Voted
LATA
2009
Springer
15 years 7 months 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
15 years 23 days ago
2008
Springer
95
Voted
ECEASST
2008
15 years 23 days 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...
89
Voted
IFIP
1999
Springer
15 years 5 months ago
1999
Springer
91
Voted
ENTCS
2007
15 years 19 days 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...