Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002190441/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog abstract ""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."--PUBLISHER'S WEBSITE.".
- catalog contributor b3151424.
- catalog contributor b3151425.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description ""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."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "vii, 458 p. :".
- catalog identifier "0387539042".
- catalog identifier "3540539042 :".
- catalog isPartOf "Lecture notes in computer science ; 488".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "511.3 20".
- catalog subject "Algorithms Congresses.".
- catalog subject "Computer programming Congresses.".
- catalog subject "QA267 .I555 1991".
- catalog subject "Rewriting systems (Computer science) Congresses.".
- catalog title "Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed.".
- catalog type "Conference proceedings. fast".
- catalog type "text".