LEADER 07090nam 22007095 450 001 996465636003316 005 20200702024336.0 010 $a3-540-46149-3 024 7 $a10.1007/3-540-51081-8 035 $a(CKB)1000000000233382 035 $a(SSID)ssj0000326354 035 $a(PQKBManifestationID)11243967 035 $a(PQKBTitleCode)TC0000326354 035 $a(PQKBWorkID)10296535 035 $a(PQKB)10177204 035 $a(DE-He213)978-3-540-46149-4 035 $a(PPN)155174614 035 $a(EXLCZ)991000000000233382 100 $a20121227d1989 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting Techniques and Applications$b[electronic resource] $e3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings /$fedited by Nachum Dershowitz 205 $a1st ed. 1989. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1989. 215 $a1 online resource (VII, 589 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v355 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-51081-8 327 $aTerm rewriting and universal algebra in historical perspective -- Characterizations of unification type zero -- Proof normalization for resolution and paramodulation -- Complete sets of reductions modulo associativity, commutativity and identity -- Completion-time optimization of rewrite-time goal solving -- Computing ground reducibility and inductively complete positions -- Inductive proofs by specification transformations -- Narrowing and unification in functional programming ?An evaluation mechanism for absolute set abstraction -- Simulation of Turing machines by a left-linear rewrite rule -- Higher-order unification with dependent function types -- An overview of LP, the Larch Prover -- Graph grammars, a new paradigm for implementing visual languages -- Termination proofs and the length of derivations -- Abstract rewriting with concrete operators -- On how to move mountains ?associatively and commutatively? -- Generalized Gröbner bases: Theory and applications. A condensation -- A local termination property for term rewriting systems -- An equational logic sampler -- Modular aspects of properties of term rewriting systems related to normal forms -- Priority rewriting: Semantics, confluence, and conditionals -- Negation with logical variables in conditional rewriting -- Algebraic semantics and complexity of term rewriting systems -- Optimization by non-deterministic, lazy rewriting -- Combining matching algorithms: The regular case -- Restrictions of congruences generated by finite canonical string-rewriting systems -- Embedding with patterns and associated recursive path ordering -- Rewriting techniques for program synthesis -- Transforming strongly sequential rewrite systems with constructors for efficient parallel execution -- Efficient ground completion -- Extensions and comparison of simplification orderings -- Classes of equational programs that compile into efficient machine code -- Fair termination is decidable for ground systems -- Termination for the direct sum of left-linear term rewriting systems -- Conditional rewrite rule systems with built-in arithmetic and induction -- Consider only general superpositions in completion procedures -- Solving systems of linear diophantine equations and word equations -- SbReve2: A term rewriting laboratory with (AC)-unfailing completion -- THEOPOGLES ? An efficient theorem prover based on rewrite-techniques -- Comtes ? An experimental environment for the completion of term rewriting systems -- Asspegique: An integrated specification environment -- KBlab: An equational theorem prover for the Macintosh -- Fast Knuth-Bendix completion: Summary -- Compilation of ground term rewriting systems and applications (DEMO) -- An overview of Rewrite Rule Laboratory (RRL) -- InvX: An automatic function inverter -- A parallel implementation of rewriting and narrowing -- Morphocompletion for one-relation monoids. 330 $aRewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v355 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aProgramming languages (Electronic computers) 606 $aAlgorithms 606 $aArtificial intelligence 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aProgramming languages (Electronic computers). 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aArtificial Intelligence. 676 $a511.3 702 $aDershowitz$b Nachum$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465636003316 996 $aRewriting Techniques and Applications$9774195 997 $aUNISA