94 search results - page 3 / 19 » Confluence of Conditional Rewrite Systems |
78
Voted
WEBI
2001
Springer
15 years 4 months ago
2001
Springer
We focus on well-behaved Adaptive Hypermedia Systems, which means the adaptation engine that executes adaptation rules always terminates and produces predictable (confluent) adapta...
70
Voted
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
79
Voted
RTA
2000
Springer
15 years 4 months ago
2000
Springer
95
Voted
APAL
2008
15 years 18 days ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
105
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...