FOSSACS
13 years 10 months ago
2004 Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
FOSSACS
13 years 10 months ago
2004 Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
FOSSACS
13 years 10 months ago
2004 Springer FOSSACS
13 years 10 months ago
2004 Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
FOSSACS
13 years 10 months ago
2004 Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
|