Research Catalog

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

Title: Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.).
Author: International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem)
Publication: Berlin ; New York : Springer, c1995.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/Text	Request in advance	JSE 95-2248	Offsite

Details

Additional Authors

Description

viii, 373 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 968

Subjects

Note

Held in conjunction with ICALP ̓94.

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 95-2248

ISBN

3540603816 (softcover : alk. paper)

LCCN

95039593

OCLC

33103687

Conference

International Workshop on Conditional (and Typed) Rewriting Systems (4th : 1994 : Jerusalem)

Title

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.).

Imprint

Berlin ; New York : Springer, c1995.

Series

Lecture notes in computer science ; 968

Bibliography

Includes bibliographical references and index.

Added Author

Dershowitz, Nachum.

Lindenstrauss, Naomi.

International Colloquium on Automata, Languages, and Programming.

Research Call Number

JSE 95-2248

View in Legacy Catalog