|
Showing 1 - 1 of
1 matches in All Departments
This book presents throroughly revised full versions of the 21
papers accepted for the Fourth International Workshop on
Conditional and Typed Rewriting Systems, CTRS-94, held in
conjunction with ICALP '94 in Jerusalem, Israel, in July
1994.
The volume reports the research advances in the area of rewriting
in general achieved since the predecessor workshop held in July
1992. Among the topics addressed are conditional term rewriting,
typed systems, higher-order rewriting, graph rewriting,
combinator-based languages, and constrained rewriting.
|
You may like...
Sound Of Freedom
Jim Caviezel, Mira Sorvino, …
DVD
R325
R218
Discovery Miles 2 180
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.