机译: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
机译:Contents and abstracts of the electronic notes in theoretical computer science vol. 5 - Selected papers first international workshop on verification of infinite state systems, Universita di Pisa, Pisa, Italy, 30-31 August, 1996