Preface
Download:
|
|
by Michael Codish, Aart Middeldorp (eds, Aachener Informatik Berichte, Rwth Aachen
http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2003/../2004/2004-07.ps.gz
Add To MetaCart
Abstract:
of Technology) are in general accessible through the World Wide Web.
Citations
| 38 | Termination of term rewriting using dependency pairs. TheoreticalComputer Science – Arts, Giesl - 2000 |
| 31 | Context-sensitive rewriting strategies – Lucas |
| 29 | Termination of context-sensitive rewriting – Zantema - 1997 |
| 24 | Transformation techniques for context-sensitive rewrite systems – Giesl, Middeldorp |
| 17 | Simple termination of context-sensitive rewriting – Gramlich, Lucas - 2002 |
| 16 | CiME: Completion Modulo E – Contejean, Marché - 1996 |
| 12 | Lazy Rewriting and Context-Sensitive Rewriting – Lucas - 2002 |
| 11 | Proving termination of context-sensitive rewriting by transformation – Lucas |
| 3 | Polynomials over the rationals in proofs of termination – Lucas - 2004 |
| 3 | Aachener Informatik-Berichte This is a list of recent technical reports. To obtain copies of technical reports please consulthttp://aib.informatik.rwth-aachen.de/ or send your request to – Aachen - 1996 |
