Invited Talk: Applications of Tree Automata in Rewriting and Lambda Calculus (at LICS 1997)
Authors: Hubert ComonAbstract
No Abstract Available
BibTeX
@InProceedings{Comon-ApplicationsofTreeA, author = {Hubert Comon}, title = {Applications of Tree Automata in Rewriting and Lambda Calculus}, booktitle = {Proceedings of the Twelfth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1997}, year = 1997, editor = {Glynn Winskel}, month = {June}, location = {Warsaw, Poland}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }