Skip to search
Skip to main content
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS format (e.g. Zotero)
Printer
Bookmark
Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
Format
Book
Language
English
Published/Created
Berlin ; New York : Springer-Verlag, c1991.
Description
x, 461 p. : ill. ; 24 cm.
Details
Subject(s)
Rewriting systems (Computer science)
—
Congresses
[Browse]
Related name
Kaplan, S. (Stéphane), 1961-
[Browse]
Okada, M. (Mitsuhiro), 1954-
[Browse]
Series
Lecture notes in computer science ; 516
[More in this series]
ISBN
3540543171 (Berlin)
0387543171 (New York)
LCCN
91025005
OCLC
24144034
RCP
N - O
Statement on responsible collection description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Need Help?
Ask a Question
Suggest a Correction
Report a Missing Item
Supplementary Information
Other versions
Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
id
996772903506421
Conditional and Typed Rewriting Systems [electronic resource] : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings / edited by Stephane Kaplan, Mitsuhiro Okada.
id
99125200695106421