Conditional term rewriting systems /

Bibliographic Details
Corporate Author: International Workshop CTRS 1992 : Pont-à-Mousson, France
Other Authors: Rusinowitch, M. (Michael), Remy, J. L.
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1993.
Series:Lecture notes in computer science ; 656.
Subjects:
Search Result 1
Published 1993
Connect to the full text of this electronic book
Conference Proceeding eBook