Rewriting techniques and applications : Dijon, France, May 20-22, 1985 /

Bewaard in:
Bibliografische gegevens
Coauteur: International Conference on Rewriting Techniques and Applications
Andere auteurs: Jouannaud, Jean-Pierre
Formaat: Conferentie akten Boek
Taal:English
Gepubliceerd in: Berlin ; New York : Springer-Verlag, c1985.
Reeks:Lecture notes in computer science ; 202.
Onderwerpen:
LEADER 01480nam a2200325 a 4500
001 c000160966
003 CARM
005 19990202000000.0
008 850903s1985 gw a b 100 0 eng
010 |a 85022164 //r872 
019 1 |a 4213997  |z 64966742  |5 LACONCORD2021 
020 |a 0387159762  |b (pbk. : U.S.) 
035 |a (OCoLC)12582911  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
050 0 0 |a QA76.6  |b .R464 1985 
082 0 0 |a 005  |2 19 
245 0 0 |a Rewriting techniques and applications :  |b Dijon, France, May 20-22, 1985 /  |c edited by Jean-Pierre Jouannaud. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1985. 
300 |a vi, 440 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 202. 
500 |a Papers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985. 
504 |a Includes bibliographies. 
650 0 |a Computer programming  |v Congresses. 
650 0 |a Computer algorithms  |x Congresses. 
650 0 |a Rewriting systems (Computer science)  |x Congresses. 
700 1 |a Jouannaud, Jean-Pierre. 
711 2 |a International Conference on Rewriting Techniques and Applications  |n (1st :,  |d 1985 :  |c Dijon, France) 
852 8 |b CARM  |h A2:AM13D0  |i C05519  |p 0212125  |f BK 
999 f f |i 15b650d6-cef7-5f01-b11c-24674623bfa4  |s c6b1ee2b-53d2-57e7-ac36-5ef5142dbf16 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05519  |f A2:AM13D0  |h Other scheme  |i book  |m 0212125