Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, Washington, USA, August 12-14, 2006, Proceedings, LNCS 4098
Book title Buchtitel
Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, Washington, USA, August 12-14, 2006, Proceedings, LNCS 4098
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 4098
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gramlich, Bernhard ; Lucas, Salvador ; Pfenning, Frank | Generalizing Newman's Lemma for Left-Linear Rewrite Systems | Konferenzbeitrag Inproceedings  | 2006 |