共 23 条
- [23] Contents and abstracts of the electronic notes in theoretical computer science, vol 4 - Proceedings of the first international workshop on rewriting logic and its applications, Asilomar Conference Center, Pacific Grove, CA, September 3-6, 1996 [J]. THEORETICAL COMPUTER SCIENCE, 1998, 201 (1-2) : 291 - 297