Term Rewriting - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540593409, 9783540492375

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Normalized rewriting — Application to ground completion and standard bases

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_12 ◽

1995 ◽

pp. 154-169

Author(s):

Claude Marché

Keyword(s):

Download Full-text

33 Examples of termination

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_2 ◽

1995 ◽

pp. 16-26 ◽

Author(s):

Nachum Dershowitz

Download Full-text

Affine geometry of collinearity and conditional term rewriting

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_14 ◽

1995 ◽

pp. 196-213 ◽

Author(s):

Philippe Balbiani ◽

Luis Fariñas Cerro

Keyword(s):

Term Rewriting ◽

Affine Geometry ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Introduction to rewriting

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_1 ◽

1995 ◽

pp. 1-15 ◽

Author(s):

Jean-Pierre Jouannaud

Download Full-text

On efficient reduction algorithms for some trace rewriting systems

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_9 ◽

1995 ◽

pp. 114-126 ◽

Author(s):

Michael Bertol ◽

Volker Diekert

Keyword(s):

Rewriting Systems ◽

Efficient Reduction

Download Full-text

Equational reasoning with 2-dimensional diagrams

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_13 ◽

1995 ◽

pp. 170-195 ◽

Author(s):

Yves Lafont

Keyword(s):

Equational Reasoning

Download Full-text

Graph rewriting: A bibliographical guide

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_6 ◽

1995 ◽

pp. 74-74 ◽

Author(s):

Bruno Courcelle

Keyword(s):

Graph Rewriting

Download Full-text

The word problem for Thue rewriting systems

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_3 ◽

1995 ◽

pp. 27-38 ◽

Author(s):

Gerard Lallement

Keyword(s):

Word Problem ◽

Rewriting Systems

Download Full-text

Burnside monoids word problem and the conjecture of Brzozowski

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_15 ◽

1995 ◽

pp. 214-221

Author(s):

Jean-François Rey

Keyword(s):

Download Full-text

Automatic groups and string rewriting

Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-59340-3_10 ◽

1995 ◽

pp. 127-134 ◽

Author(s):

Robert H. Gilman

Keyword(s):

Automatic Groups ◽

String Rewriting

Download Full-text