3 search results - page 1 / 1 » Inequational Deduction as Term Graph Rewriting |
ENTCS
2007
14 years 10 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
113
click to vote
PEPM
2010
ACM
15 years 2 days ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
CADE
2003
Springer
15 years 10 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...