Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540603818, 9783540455134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relative normalization in orthogonal expression reduction systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_9 ◽

1995 ◽

pp. 144-165 ◽

Author(s):

John Glauert ◽

Zurab Khasidashvili

Keyword(s):

Relative Normalization

Download Full-text

The complexity of testing ground reducibility for linear word rewriting systems with variables

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_16 ◽

1995 ◽

pp. 262-275 ◽

Author(s):

Gregory Kucherov ◽

Michaël Rusinowitch

Keyword(s):

Rewriting Systems ◽

Download Full-text

Rewriting for preorder relations

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_13 ◽

1995 ◽

pp. 223-234 ◽

Author(s):

Paola Inverardi

Download Full-text

A calculus for rippling

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_2 ◽

1995 ◽

pp. 15-30 ◽

Author(s):

David A. Basin ◽

Toby Walsh

Download Full-text

Well-foundedness of term orderings

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_7 ◽

1995 ◽

pp. 106-123 ◽

Author(s):

M. C. F. Ferreira ◽

H. Zantema

Keyword(s):

Well Foundedness

Download Full-text

Preserving confluence for rewrite systems with built-in operations

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_5 ◽

1995 ◽

pp. 71-88 ◽

Author(s):

Reinhard Bündgen

Keyword(s):

Rewrite Systems

Download Full-text

The transformation of term rewriting systems based on well-formedness preserving mappings

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_20 ◽

1995 ◽

pp. 332-352

Author(s):

Jan C. Verheul ◽

Peter G. Kluit

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Associative-commutative superposition

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_1 ◽

1995 ◽

pp. 1-14 ◽

Author(s):

Leo Bachmair ◽

Harald Ganzinger

Download Full-text

Strong sequentiality of left-linear overlapping rewrite systems

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_14 ◽

1995 ◽

pp. 235-246 ◽

Author(s):

Jean-Pierre Jouannaud ◽

Walid Sadfi

Keyword(s):

Rewrite Systems

Download Full-text

A conflict between call-by-need computation and parallelism

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_15 ◽

1995 ◽

pp. 247-261 ◽

Author(s):

Richard Kennaway

Download Full-text