000 06016nam a22005415i 4500
001 978-3-540-46149-4
003 DE-He213
005 20160624102012.0
007 cr nn 008mamaa
008 121227s1989 gw | s |||| 0|eng d
020 _a9783540461494
_9978-3-540-46149-4
024 7 _a10.1007/3-540-51081-8
_2doi
050 4 _aQA8.9-QA10.3
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aCOM051010
_2bisacsh
082 0 4 _a005.131
_223
245 1 0 _aRewriting Techniques and Applications
_h[electronic resource] :
_b3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings /
_cedited by Nachum Dershowitz.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1989.
300 _aVII, 589 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v355
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aAlgebra
_xData processing.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aSymbolic and Algebraic Manipulation.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aArtificial Intelligence (incl. Robotics).
700 1 _aDershowitz, Nachum.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540510819
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v355
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-51081-8
942 _2EBK5713
_cEBK
999 _c35007
_d35007