Term Rewriting - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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):

Standard Bases

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 ◽

Cited By ~ 17

Author(s):

Nachum Dershowitz

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 ◽

Cited By ~ 1

Author(s):

Michael Bertol ◽

Volker Diekert

Keyword(s):

Rewriting Systems ◽

Efficient Reduction

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

Author(s):

Jean-Pierre Jouannaud

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 ◽

Cited By ~ 16

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 ◽

Cited By ~ 1

Author(s):

Bruno Courcelle

Keyword(s):

Graph Rewriting

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 ◽

Cited By ~ 1

Author(s):

Robert H. Gilman

Keyword(s):

Automatic Groups ◽

String 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 ◽

Cited By ~ 5

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):

Word Problem

Download Full-text

Term Rewriting - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Normalized rewriting — Application to ground completion and standard bases

33 Examples of termination

On efficient reduction algorithms for some trace rewriting systems

Affine geometry of collinearity and conditional term rewriting

Introduction to rewriting

Equational reasoning with 2-dimensional diagrams

Graph rewriting: A bibliographical guide

Automatic groups and string rewriting

The word problem for Thue rewriting systems

Burnside monoids word problem and the conjecture of Brzozowski

Term Rewriting - Lecture Notes in Computer Science
Latest Publications