03758nam 22005775 450 99646568950331620200706045119.03-540-47421-810.1007/3-540-17220-3(CKB)1000000000230583(SSID)ssj0000326355(PQKBManifestationID)11912755(PQKBTitleCode)TC0000326355(PQKBWorkID)10267484(PQKB)11043851(DE-He213)978-3-540-47421-0(PPN)155217437(EXLCZ)99100000000023058320121227d1987 u| 0engurnn|008mamaatxtccrRewriting Techniques and Applications[electronic resource] Bordeaux, France, May 25-27, 1987. Proceedings /edited by Pierre Lescanne1st ed. 1987.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1987.1 online resource (VIII, 288 p.) Lecture Notes in Computer Science,0302-9743 ;256Bibliographic Level Mode of Issuance: Monograph3-540-17220-3 Term-rewriting implementation of equational logic programming -- Optimizing equational programs -- A compiler for conditional term rewriting systems -- How to choose the weights in the Knuth Bendix ordering -- Detecting looping simplifications -- Combinatorial hypermap rewriting -- The word problem for finitely presented monoids and finite canonical rewriting systems -- Term rewriting systems with priorities -- A gap between linear and non linear term-rewriting systems -- Code generator generation based on template-driven target term rewriting -- Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction -- Groups presented by certain classes of finite length-reducing string-rewriting systems -- Some results about confluence on a given congruence class -- Ground confluence -- Structured contextual rewriting -- Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes -- Completion for rewriting modulo a congruence -- On equational theories, unification and decidability -- A general complete E-unification procedure -- Improving basic narrowing techniques -- Strategy-controlled reduction and narrowing -- Algorithmic complexity of term rewriting systems -- Optimal speedups for parallel pattern matching in trees.This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.Lecture Notes in Computer Science,0302-9743 ;256Second International Conference on Rewriting Techniques and ApplicationsMathematical logicComputer logicMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical logic.Computer logic.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Mathematical Logic and Foundations.005.131Lescanne Pierreedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465689503316Rewriting Techniques and Applications774195UNISA