Term Rewriting and All That
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521455206, 9780521779203, 9781139172752

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ordered Sets

Term Rewriting and All That ◽

10.1017/cbo9781139172752.013 ◽

1998 ◽

pp. 276-277

Keyword(s):

Ordered Sets

Download Full-text

Bibliography

Term Rewriting and All That ◽

10.1017/cbo9781139172752.015 ◽

1998 ◽

pp. 284-296

Download Full-text

Combination Problems

Term Rewriting and All That ◽

10.1017/cbo9781139172752.010 ◽

1998 ◽

pp. 200-222

Download Full-text

Preface

Term Rewriting and All That ◽

10.1017/cbo9781139172752.001 ◽

1998 ◽

pp. ix-xii

Download Full-text

Equational Unification

Term Rewriting and All That ◽

10.1017/cbo9781139172752.011 ◽

1998 ◽

pp. 223-264

Keyword(s):

Equational Unification

Download Full-text

Abstract Reduction Systems

Term Rewriting and All That ◽

10.1017/cbo9781139172752.003 ◽

1998 ◽

pp. 7-33

Download Full-text

Motivating Examples

Term Rewriting and All That ◽

10.1017/cbo9781139172752.002 ◽

1998 ◽

pp. 1-6

Download Full-text

Termination

Term Rewriting and All That ◽

10.1017/cbo9781139172752.006 ◽

1998 ◽

pp. 93-133

Download Full-text

Equational Problems

Term Rewriting and All That ◽

10.1017/cbo9781139172752.005 ◽

1998 ◽

pp. 58-92

Download Full-text

Confluence

Term Rewriting and All That ◽

10.1017/cbo9781139172752.007 ◽

1998 ◽

pp. 134-157

Download Full-text