Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Conditional and Typed Rewriting Systems (4th : 1994 : Jerusalem)
Imprint:	Berlin ; New York : Springer-Verlag, c1995.
Description:	viii, 373 p.
Language:	English
Series:	Lecture notes in computer science 968
Subject:	Rewriting systems (Computer science) -- Congresses. Computer programming -- Congresses. Algorithms -- Congresses. Algorithms. Computer programming. Rewriting systems (Computer science) Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/2366387

Hidden Bibliographic Details
Other authors / contributors:	Dershowitz, Nachum. Lindenstrauss, Naomi. International Colloquium on Automata, Languages, and Programming.
ISBN:	3540603816 (softcover : alk. paper)
Notes:	Held in conjunction with ICALP '94. Includes bibliographical references and index.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA267.I57830 1994
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian