ICAR Research Data Repository for Knowledge Management
A total, ground path ordering for proving termination of AC-rewrite systems
DSpace at IIT Bombay
View Archive Info| Field | Value | |
| Title |
A total, ground path ordering for proving termination of AC-rewrite systems
|
|
| Creator |
KAPUR, D
SIVAKUMAR, G |
|
| Description |
A new path ordering for showing termination of associative-commutative (AC) rewrite systems is defined. If the precedence relation on function symbols is total, the ordering is total on ground terms, but unlike the ordering proposed by Rubio and Nieuwenhuis, this ordering can orient the distributivity property in the proper direction. The ordering is defined in a natural way using recursive path ordering with status as the underlying basis. This settles a longstanding problem in termination orderings for AC rewrite systems. The ordering can be used to define an ordering on nonground terms.
|
|
| Publisher |
SPRINGER-VERLAG BERLIN
|
|
| Date |
2011-10-23T11:58:10Z
2011-12-15T09:11:08Z 2011-10-23T11:58:10Z 2011-12-15T09:11:08Z 1997 |
|
| Type |
Article; Proceedings Paper
|
|
| Identifier |
REWRITING TECHNIQUES AND APPLICATIONS,1232,142-156
3-540-62950-5 0302-9743 http://dspace.library.iitb.ac.in/xmlui/handle/10054/15124 http://hdl.handle.net/100/1879 |
|
| Source |
8th International Conference on Rewriting Techniques and Applications,STIGES, SPAIN,JUN 02-05, 1997
|
|
| Language |
English
|
|