Research Catalog

Conditional term rewriting systems

Title: Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
Author: International Workshop CTRS (3rd : 1992 : Pont-à-Mousson, France)
Publication: Berlin ; New York : Springer-Verlag, c1993.

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?	Text	Request in advance	JSE 93-636	Offsite

Details

Additional Authors

Description

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

Series Statement

Lecture notes in computer science ; 656

Alternative Title

CTRS-92.
CTRS92.
CTRS 1992.

Subject

Rewriting systems (Computer science) > Congresses

Note

"This volume contains the papers presented at the Third International Conditional Term Rewriting Systems held on 8-10 July 1992 at Pont-à-Mouson, France."--P. [vii].

Call Number

JSE 93-636

ISBN

3540563938 (Berlin : alk. paper)
0387563938 (New York : alk. paper)

LCCN

92044413

OCLC

27106056
NYPG93-B32145

Conference

International Workshop CTRS (3rd : 1992 : Pont-à-Mousson, France)

Title

Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).

Imprint

Berlin ; New York : Springer-Verlag, c1993.

Series

Lecture notes in computer science ; 656

Added Author

Rusinowitch, M. (Michael)

Remy, J. L.

Added Title

CTRS-92.

CTRS92.

CTRS 1992.

Research Call Number

JSE 93-636

View in Legacy Catalog