عنوان

Rewriting techniques and applications :

شابک

3540614648

شابک

9783540614647

شماره

b433706

عنوان اصلي

Rewriting techniques and applications :

نام عام مواد

[Book]

ساير اطلاعات عنواني

7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings /

نام نخستين پديدآور

Harald Ganzinger (ed.)

نام خاص و کميت اثر

xi, 435 pages :

ساير جزييات

illustrations ;

ابعاد

24 cm

عنوان فروست

Lecture notes in computer science,

مشخصه جلد

1103

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

Includes bibliographical references and index

متن يادداشت

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

بدون عنوان

0

متن يادداشت

"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

موضوع مستند نشده

Algorithms, Congresses

موضوع مستند نشده

Computer programming, Congresses

موضوع مستند نشده

Rewriting systems (Computer science), Congresses

موضوع مستند نشده

base Gröbner

موضوع مستند نشده

déduction

موضوع مستند نشده

lambda calcul

موضوع مستند نشده

Logique

موضوع مستند نشده

réécriture

موضوع مستند نشده

réecriture conditionnelle

موضوع مستند نشده

réécriture graphe

موضوع مستند نشده

Sémantique

موضوع مستند نشده

théorie type

موضوع مستند نشده

unification

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Ganzinger, H., (Harald),1950-

مستند نام تنالگان تاييد نشده

International Conference on Rewriting Techniques and Applications(7th :1996 :, New Brunswick, N.J.)

تاريخ عمليات

20160712061809.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y