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 |