226 search results - page 8 / 46 » Extensional Theories and Rewriting |
68
Voted
AIMS
2007
Springer
15 years 6 months ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
111
click to vote
PLILP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
50
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
72
Voted
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
90
Voted
TCS
1998
15 years 2 days ago
1998