Rewriting Techniques and Applications
| Author/creator | Book, R. V. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | vii, 458 p. 22.000 x 014.000 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540539049 |
| ISBN | 3540539042 (Trade Paper) Active Record |
| Standard identifier# | 9783540539049 |
| Stock number | 3540539042 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |