An edition of Conditional and typed rewriting systems
(1995)
Conditional and typed rewriting systems
4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
by International Workshop on Conditional (a..., Languages, and Programming (21st : 1994 ..., Naomi Lindenstrauss, and Nachum Dershowitz
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Congresses, Computer programming, Rewriting systems (Computer science), Algorithms, Mathematical theory of computation, Programming - General, Rewriting systems (Computer sc, Mathematics, Computers - Languages / Programming, Science/Mathematics, Logic, Programming Languages - General, Computer ScienceShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Conditional and typed rewriting systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
1995, Springer
in English
3540603816 9783540603818
|
aaaa
Libraries near you:
WorldCat
|
2
Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 1994 : Proceedings (Lecture Notes in Computer)
October 1995, Springer
Paperback
in English
3540603816 9783540603818
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Held in conjunction with the Twenty-first Colloquium on Automata, Language, and Programming (ICALP'94).
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL2961926W |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 11, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |