| 000 -LEADER |
|---|
| fixed length control field |
06016nam a22005415i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783540461494 |
| -- |
978-3-540-46149-4 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Rewriting Techniques and Applications |
| Sub Title |
3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings / |
| Statement of responsibility, etc |
edited by Nachum Dershowitz. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg, |
| Year of publication |
1989. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
VII, 589 p. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Term 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 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Rewriting 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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer software. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Algebra |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Symbolic and Algebraic Manipulation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Algorithm Analysis and Problem Complexity. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Artificial Intelligence (incl. Robotics). |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Dershowitz, Nachum. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-51081-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
1989. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
