• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

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

Paperback

Series: Lecture Notes in Computer Science, Book 516

FictionGeneral ComputersProgramming

ISBN10: 3540543171
ISBN13: 9783540543176
Publisher: Springer
Published: Aug 7 1991
Pages: 464
Weight: 1.49
Height: 0.98 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Fiction