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

9783540439165, 9783540456100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_5 ◽

2002 ◽

pp. 51-65

Author(s):

Richard Kennaway ◽

Zurab Khasidashvili ◽

Adolfo Piperno

Keyword(s):

Static Analysis

Download Full-text

Autowrite: A Tool for Checking Properties of Term Rewriting Systems

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_27 ◽

2002 ◽

pp. 371-375 ◽

Cited By ~ 1

Author(s):

Irène Durand

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Loops of Superexponential Lengths in One-Rule String Rewriting

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_19 ◽

2002 ◽

pp. 267-280 ◽

Cited By ~ 1

Author(s):

Alfons Geser

Keyword(s):

String Rewriting

Download Full-text

Combining Shostak Theories

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_1 ◽

2002 ◽

pp. 1-18 ◽

Cited By ~ 22

Author(s):

Natarajan Shankar ◽

Harald Rueß

Download Full-text

Rewriting Strategies for Instruction Selection

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_17 ◽

2002 ◽

pp. 237-251 ◽

Cited By ~ 3

Author(s):

Martin Bravenboer ◽

Eelco Visser

Keyword(s):

Instruction Selection

Download Full-text

Deriving Focused Lattice Calculi

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_7 ◽

2002 ◽

pp. 83-97 ◽

Cited By ~ 4

Author(s):

Georg Struth

Download Full-text

A Weak Calculus with Explicit Operators for Pattern Matching and Substitution

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_13 ◽

2002 ◽

pp. 174-191 ◽

Cited By ~ 7

Author(s):

Julien Forest

Keyword(s):

Pattern Matching

Download Full-text

An Extensional Böhm Model

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_12 ◽

2002 ◽

pp. 159-173 ◽

Cited By ~ 9

Author(s):

Paula Severi ◽

Fer-Jan de Vries

Keyword(s):

Bohm Model

Download Full-text

Currying Second-Order Unification Problems

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_23 ◽

2002 ◽

pp. 326-339 ◽

Cited By ~ 9

Author(s):

Jordi Levy ◽

Mateu Villaret

Keyword(s):

Second Order

Download Full-text

Decidability and Closure Properties of Equational Tree Languages

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_9 ◽

2002 ◽

pp. 114-128 ◽

Cited By ~ 11

Author(s):

Hitoshi Ohsaki ◽

Toshinori Takai

Keyword(s):

Closure Properties ◽

Tree Languages

Download Full-text

Rewriting Techniques and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus

Autowrite: A Tool for Checking Properties of Term Rewriting Systems

Loops of Superexponential Lengths in One-Rule String Rewriting

Combining Shostak Theories

Rewriting Strategies for Instruction Selection

Deriving Focused Lattice Calculi

A Weak Calculus with Explicit Operators for Pattern Matching and Substitution

An Extensional Böhm Model

Currying Second-Order Unification Problems

Decidability and Closure Properties of Equational Tree Languages

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