SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Associative-Commutative Rewriting on Large Terms
 by Dr. Steven Eker.

Lecture Notes in Computer Science.
From Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003).
Springer, Berlin.
June, 2003.
Pages 14–29.


BibTEX Entry
@InProceedings{rta2003:ac,,
    AUTHOR = {Steven Eker},
    TITLE = {Associative-Commutative Rewriting on Large Terms},
    YEAR = {2003},
    PAGES = {14--29},
    MONTH = {June},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1557/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)},
    PUBLISHER = {Springer}
}
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy