Rewriting Techniques and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540510819, 9783540461494

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalized Gröbner bases: Theory and applications. A condensation

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_110 ◽

1989 ◽

pp. 203-221 ◽

Cited By ~ 1

Author(s):

Dallas Lankford

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Consider only general superpositions in completion procedures

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_129 ◽

1989 ◽

pp. 513-527 ◽

Cited By ~ 6

Author(s):

Hantao Zhang ◽

Deepak Kapur

Download Full-text

Complete sets of reductions modulo associativity, commutativity and identity

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_98 ◽

1989 ◽

pp. 29-44 ◽

Cited By ~ 9

Author(s):

Timothy B. Baird ◽

Gerald E Peterson ◽

Ralph W. Wilkerson

Keyword(s):

Complete Sets

Download Full-text

Conditional rewrite rule systems with built-in arithmetic and induction

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_128 ◽

1989 ◽

pp. 492-512 ◽

Cited By ~ 1

Author(s):

Sergey G. Vorobyov

Keyword(s):

Rule Systems

Download Full-text

A local termination property for term rewriting systems

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_111 ◽

1989 ◽

pp. 222-233

Author(s):

Dana May Latch ◽

Ron Sigal

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Inductive proofs by specification transformations

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_101 ◽

1989 ◽

pp. 76-91 ◽

Cited By ~ 16

Author(s):

Hubert Comon

Download Full-text

Computing ground reducibility and inductively complete positions

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_100 ◽

1989 ◽

pp. 59-75 ◽

Cited By ~ 10

Author(s):

Reinhard Bündgen ◽

Wolfgang Küchlin

Download Full-text

Priority rewriting: Semantics, confluence, and conditionals

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_114 ◽

1989 ◽

pp. 278-291 ◽

Cited By ~ 8

Author(s):

Chilukuri K. Mohan

Download Full-text

Simulation of Turing machines by a left-linear rewrite rule

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_103 ◽

1989 ◽

pp. 109-120 ◽

Cited By ~ 23

Author(s):

Max Dauchet

Keyword(s):

Turing Machines

Download Full-text

Completion-time optimization of rewrite-time goal solving

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-51081-8_99 ◽

1989 ◽

pp. 45-58 ◽

Cited By ~ 13

Author(s):

Hubert Bertling ◽

Harald Ganzinger

Keyword(s):

Completion Time ◽

Time Optimization

Download Full-text

Rewriting Techniques and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Generalized Gröbner bases: Theory and applications. A condensation

Consider only general superpositions in completion procedures

Complete sets of reductions modulo associativity, commutativity and identity

Conditional rewrite rule systems with built-in arithmetic and induction

A local termination property for term rewriting systems

Inductive proofs by specification transformations

Computing ground reducibility and inductively complete positions

Priority rewriting: Semantics, confluence, and conditionals

Simulation of Turing machines by a left-linear rewrite rule

Completion-time optimization of rewrite-time goal solving

Rewriting Techniques and Applications - Lecture Notes in Computer Science
Latest Publications