Research Catalog

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

Title: Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.).
Publication: Berlin ; New York : Springer, c1996.

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 96-1214	Offsite

Details

Additional Authors

Description

xi, 435 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 1103

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 96-1214

ISBN

3540614648 (Berlin : softcover : alk. paper)

LCCN

96026788

OCLC

34932874

Title

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.).

Imprint

Berlin ; New York : Springer, c1996.

Series

Lecture notes in computer science ; 1103

Bibliography

Includes bibliographical references and index.

Added Author

Ganzinger, H. (Harald), 1950-

International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick, N.J.)

Research Call Number

JSE 96-1214

View in Legacy Catalog