Rewriting Techniques and Applications
Nachum Dershowitz
₹5,732
Conditional and Typed Rewriting Systems
Proceedings
by Nachum Dershowitz, Naomi Lindenstrauss
Springer · 1995 · Paperback
₹5,569
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Conditional and Typed Rewriting Systems: Proceedings by Nachum Dershowitz & Naomi Lindenstrauss is a 383-page paperback edition published by Springer in 1995. It belongs to the Lecture notes in computer science series.
Topics covered include Congresses, Computer programming, Rewriting systems (Computer science) and Algorithms.
Book details
- ISBN-13
- 9783540603818
- ISBN-10
- 3540603816
- Authors
- Nachum Dershowitz, Naomi Lindenstrauss
- Publisher
- Springer
- Published
- 1995
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 383
- Language
- English
- Condition
- New
More by Nachum Dershowitz and related titles
Advances in Cryptology - Eurocrypt '98
Kaisa Nyberg
₹5,686
Protecting Information
Susan Loepp, William K. Wootters
₹4,750
Computational Invariant Theory
Harm Derksen, Gregor Kemper
₹4,004
Logic at Botik '89
Albert R. Meyer, Michael A. Taitslin
₹5,524
Algorithms and Data Structures
R. I.) Wads 200 (2001 Providence, Roberto Tamassia, J. R. Sack
₹4,250
Advances in Petri Nets 1990
Grzegorz Rozenberg
₹5,636
Mathematical Foundations of Computer Science 1994
Igor Privara, Branislav Rovan, Peter Ruzicka
₹5,159
Recent Advances in Ai Planning
England) European Conference on Planning 1999 (Durham, Maria Fox
₹5,107
Solving Higher-Order Equations
Christian Prehofer
₹3,423
Combinatorial Pattern Matching
Martin Farach-Colton
₹5,506
Data Refinement
W. Deroever, W. -P De Roever, Kai Englehardt
₹5,101