Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds.

Saved in:
Bibliographic Details
Other Authors: Kaplan, S. (Stéphane), 1961-, Jouannaud, Jean-Pierre
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1988.
Series:Lecture notes in computer science ; 308.
Subjects:

MARC

LEADER 00000pam a2200000 a 4500
001 b1766497
003 CoU
008 880511s1988 gw a b 100 0 eng
010 |a 88017626 
020 |a 0387192425 (U.S.) 
035 |a ocm18049666 
040 |a DLC  |c DLC  |d COD 
049 |a CODQ 
050 0 |a QA267  |b .C5933 1988 
050 0 |a QA267  |b .C5933 1988 
245 0 0 |a Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 :  |b proceedings /  |c S. Kaplan, J.-P. Jouannaud, eds. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c ©1988. 
300 |a vi, 278 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent. 
337 |a unmediated  |b n  |2 rdamedia. 
338 |a volume  |b nc  |2 rdacarrier. 
490 1 |a Lecture notes in computer science ;  |v 308. 
504 |a Includes bibliographies. 
590 |a MATHPHYS [c.1] KW. 
583 1 |a committed to retain  |c 20160101  |d 20410101  |5 CoU  |f Alliance Shared Trust  |u https://www.coalliance.org/shared-print-archiving-policies. 
650 0 |a Rewriting systems (Computer science)  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2010111020. 
700 1 |a Kaplan, S.  |q (Stéphane),  |d 1961-  |0 http://id.loc.gov/authorities/names/n87841097  |1 http://isni.org/isni/0000000110821775. 
700 1 |a Jouannaud, Jean-Pierre.  |0 http://id.loc.gov/authorities/names/n85126914  |1 http://isni.org/isni/0000000114711960. 
830 0 |a Lecture notes in computer science ;  |v 308.  |0 http://id.loc.gov/authorities/names/n42015162. 
907 |a .b17664974  |b 03-18-20  |c 11-26-94 
998 |a pas  |b 03-21-95  |c -  |d m   |e -  |f eng  |g wb   |h 0  |i 1 
907 |a .b17664974  |b 10-24-18  |c 11-26-94 
944 |a MARS - RDA ENRICHED 
907 |a .b17664974  |b 12-17-08  |c 11-26-94 
907 |a .b17664974  |b 06-05-08  |c 11-26-94 
999 f f |i e328a0b9-9509-5c68-b61c-ddac8a178530  |s c7117168-f635-59b9-a803-60141558b7a1 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Boulder Campus  |c Offsite  |d PASCAL Offsite  |e QA267 .C5933 1988  |h Library of Congress classification  |i book  |m P103222813005  |n 1