Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1991
|
Subjects: | Computer science., Programming languages (Electronic computers)., Computers., Algorithms., Mathematical logic., Computer science, Applied mathematics., Engineering mathematics., Computer Science., Theory of Computation., Applications of Mathematics., Mathematical Logic and Formal Languages., Symbolic and Algebraic Manipulation., Programming Languages, Compilers, Interpreters., Algorithm Analysis and Problem Complexity., |
Online Access: | http://dx.doi.org/10.1007/3-540-53904-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|