|
" Rewriting techniques and applications : "
Harald Ganzinger (ed.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604487
|
| Doc. No
|
:
|
b433706
|
| Title & Author
|
:
|
Rewriting techniques and applications : : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings /\ Harald Ganzinger (ed.)
|
| Series Statement
|
:
|
Lecture notes in computer science,; 1103
|
| Page. NO
|
:
|
xi, 435 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
3540614648
|
|
|
:
|
: 9783540614647
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
Invited Talk: Rewrite-Based Automated Reasoning: Challenges Ahead / Deepak Kapur -- Fine-Grained Concurrent Completion / Claude Kirchner, Christopher Lynch and Christelle Scharff -- AC-Complete Unification and its Application to Theorem Proving / Alexandre Boudet, Evelyne Contejean and Claude Marche -- Superposition Theorem Proving for Abelian Groups Represented as Integer Modules / Jurgen Stuber -- Symideal Grobner Bases / Manfred Gobel -- Termination of Constructor Systems / Thomas Arts and Jurgen Giesl -- Dummy Elimination in Equational Rewriting / M.C.F. Ferreira -- On Proving Termination by Innermost Termination / Bernhard Gramlich -- A Recursive Path Ordering for Higher-Order Terms in [eta]-Long [beta]-Normal Form / Jean-Pierre Jouannaud and Albert Rubio -- Higher-Order Superposition for Dependent Types / Roberto Virga -- Higher-Order Narrowing with Definitional Trees / Michael Hanus and Christian Prehofer -- Invited Talk: Design of a Proof Assistant / Gerard Huet
|
| Abstract
|
:
|
"This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines."--PUBLISHER'S WEBSITE
|
| Subject
|
:
|
Rewriting systems (Computer science), Congresses
|
| Subject
|
:
|
Computer programming, Congresses
|
| Subject
|
:
|
Algorithms, Congresses
|
| Subject
|
:
|
unification
|
| Subject
|
:
|
théorie type
|
| Subject
|
:
|
base Gröbner
|
| Subject
|
:
|
Sémantique
|
| Subject
|
:
|
réecriture conditionnelle
|
| Subject
|
:
|
réécriture graphe
|
| Subject
|
:
|
lambda calcul
|
| Subject
|
:
|
déduction
|
| Subject
|
:
|
Logique
|
| Subject
|
:
|
réécriture
|
| Dewey Classification
|
:
|
005.13/1
|
| LC Classification
|
:
|
QA267.R48 1996
|
| Added Entry
|
:
|
Ganzinger, H., (Harald),1950-
|
| Added Entry
|
:
|
International Conference on Rewriting Techniques and Applications(7th :1996 :, New Brunswick, N.J.)
|
| |