226 search results - page 8 / 46 » Extensional Theories and Rewriting |
AIMS
2007
Springer
14 years 1 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...
PLILP
1998
Springer
13 years 11 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
14 years 1 months ago
2005
Springer
ICALP
2003
Springer
14 years 24 days ago
2003
Springer
TCS
1998
13 years 7 months ago
1998