Rewriting techniques and applications proceedings of the ...held July 10 - 12, 2000

Saved in:
Bibliographic Details
Corporate Author: International conference, RTA
Other Authors: Bachmair, Leo
Format: Book
Published: Berlin Springer 2000
Series:Lecture notes in computer science
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!