We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
Springer Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science, 968)
Price data last checked 108 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
Description
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.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540603816
- Domain
- Amazon UK
- Release Date
- 22 September 1995
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
90% match
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
£84.97
28 Feb 2026
90% match
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)
Springer
£88.27
12 Apr 2026
90% match
Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994
Springer
£106.40
27 Feb 2026
90% match
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
£62.33
08 Mar 2026
90% match
Complexity Theory Retrospective II (Springer Series in Statistics)
Springer
£44.37
07 Mar 2026
90% match
String-Rewriting Systems (Monographs in Computer Science)
Springer
£40.45
07 Mar 2026
90% match
The Impact of Emerging Technologies on Computer Science and Operations Research: 4 (Operations Research/Computer Science Interfaces Series, 4)
Springer
£199.99
10 Mar 2026
90% match
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)
Springer
£44.52
10 Mar 2026
89% match
The Impact of Emerging Technologies on Computer Science and Operations Research: 4 (Operations Research/Computer Science Interfaces Series, 4)
Springer
£163.86
13 Jan 2026
89% match
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Springer
£75.84
29 Mar 2026
89% match
Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings: 623 (Lecture Notes in Computer Science, 623)
Springer
£85.34
05 Mar 2026
89% match
Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.: 1073 (Lecture Notes in Computer Science, 1073)
Springer
£85.97
13 Apr 2026
89% match
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)
Springer
£76.18
28 Feb 2026
89% match
Advanced Topics in Term Rewriting
Springer
£37.39
07 Mar 2026
89% match
Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers: 1260 (Lecture Notes in Computer Science, 1260)
Springer
£44.95
18 Apr 2026
89% match
Term Rewriting & All That
Cambridge University Press
£48.39
16 Mar 2026
89% match
Formal Languages and Compilation (Texts in Computer Science)
Springer
£45.61
20 Feb 2026
89% match
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)
Springer
£44.83
07 Mar 2026
89% match
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
Springer
£85.47
28 Feb 2026
89% match
Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers: 1153 (Lecture Notes in Computer Science, 1153)
Springer
£44.66
14 Apr 2026
89% match
Computer-aided Systems in Public Transport: 600 (Lecture Notes in Economics and Mathematical Systems, 600)
Springer
£42.82
10 Mar 2026
89% match
Database Reengineering and Interoperability: Proceedings of the Sixth International Hong Kong Computer Database Workshop Held in Kowloon, Hong Kong, March 3-4, 1995
Springer
£37.60
25 Mar 2026
89% match
Springer Protocol Test Systems - 7th IFIP WG 6.1 Workshop
Springer
£113.05
24 Feb 2026
88% match
Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings: 1520 (Lecture Notes in Computer Science, 1520)
Springer
£89.34
28 Feb 2026