Skip to content
Home/ Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-
Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-

Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-

No customer reviews yet ISBN 9783540543176

This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.

About the author

Product details

Pub dateAug 7, 1991
ISBN-103540543171
ISBN-139783540543176
LanguageEnglish
Last updated 2026-09-13 09:35
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 28, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic
See all
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
Nolt, John
$9.61
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang
$84.56
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Revised)
Davis, Martin
$84.56
Fuzzy Sets and Systems: Theory and Applications
DuBois, Didier J
$84.56
Elements of Set Theory
Enderton, Herbert B
$84.56
Mathematical Introduction to Logic (Revised)
Enderton, Herbert B
$184.21