<Books>
Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
(Lecture notes in computer science ; 1103)
Publisher | Berlin ; Tokyo : Springer-Verlag |
---|---|
Year | c1996 |
Codes | ID=2000642135 NCID=BA28066676 |
Online Material | https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540614648 |
Show details.
Language | English |
---|---|
Size | xi, 435 p. ; 24 cm |
Notes | Includes bibliographical references and index |
Authors | *International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick, NJ, USA) Ganzinger, Harald, 1950- |
Subjects | LCSH:Rewriting systems (Computer science) -- Congresses
All Subject Search
LCSH:Electronic digital computers -- Programming -- Congresses All Subject Search LCSH:Algorithms -- Congresses All Subject Search |
Classification | LCC:QA267 DC20:005.13/1 |
Vol | ISBN:3540614648 |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Cent.Lib.,Closed Stacks ,Books(European Lang.) |
|
004/L497 | 8270014213 |
|
3540614648 | 1996 |
|
|||||
Sci. Math. Lib. Proc. |
|
U.S.A./1996-R/Proc. | 2070378634 |
|
3540614648 | 1996 |
|