Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
17th International Conference on Rewriting Techniques and Applications (RTA'0* Seattle, WA, USA, August 12-14, 2006
 

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