17th International Conference on Rewriting Techniques and Applications (RTA 2006)

Event name
17th International Conference on Rewriting Techniques and Applications (RTA 2006)
 
Event type
Event for scientific audience
 
Start date
12-08-2006
End date
14-08-2006
 
Location
Seattle, USA
Seattle, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gramlich, Bernhard ; Lucas, Salvador Generalizing Newman's Lemma for Left-Linear Rewrite SystemsKonferenzbeitrag Inproceedings 2006