226 search results - page 8 / 46 » Extensional Theories and Rewriting |
AIMS
2007
Springer
15 years 9 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...
140
Voted
PLILP
1998
Springer
15 years 7 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...
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
114
Voted
TCS
1998
15 years 3 months ago
1998