عنوان

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

89636

آخر۲۷

English

)20(

International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

Berlin, New York

Springer-Verlag

1989

vii, 578 p. : ill. ; 25 cm

Lecture notes in computer science; 553

Includes bibliographical references

، Rewriting systems )Computer science(-- Congresses

، Electronic digital computers-- Programming-- Congresses

، Algorithms-- Congresses

267

I555

1989

N. Dershowitz, ed

AU .muhcaN ,ztiwohsreD