Summary:  17th International Conference on Rewriting Techniques and Applications (RTA'0*
*6)
Seattle, WA, USA, August 12-14, 2006
cOSpringer-Verlag LNCS Vol. 4098, pages 35-49





On the Correctness of Bubbling?



Sergio Antoy Daniel W. Brown Su-Hui Chiang


Department of Computer Science
Portland State University
P.O. Box 751
Portland, OR 97207

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences