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

9783540402541, 9783540448815

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

XML Schema, Tree Logic and Sheaves Automata

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_18 ◽

2003 ◽

pp. 246-263 ◽

Cited By ~ 34

Author(s):

Silvano Dal Zilio ◽

Denis Lugiez

Keyword(s):

Xml Schema

Download Full-text

Expression Reduction Systems with Patterns

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_9 ◽

2003 ◽

pp. 107-122 ◽

Cited By ~ 6

Author(s):

Julien Forest ◽

Delia Kesner

Download Full-text

Relating Derivation Lengths with the Slow-Growing Hierarchy Directly

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_21 ◽

2003 ◽

pp. 296-310 ◽

Cited By ~ 6

Author(s):

Georg Moser ◽

Andreas Weiermann

Keyword(s):

Slow Growing

Download Full-text

Testing Extended Regular Language Membership Incrementally by Rewriting

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_35 ◽

2003 ◽

pp. 499-514 ◽

Cited By ~ 13

Author(s):

Grigore Roşu ◽

Mahesh Viswanathan

Keyword(s):

Regular Language ◽

Language Membership

Download Full-text

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_34 ◽

2003 ◽

pp. 483-498 ◽

Cited By ~ 9

Author(s):

Hitoshi Ohsaki ◽

Hiroyuki Seki ◽

Toshinori Takai

Keyword(s):

Tree Languages

Download Full-text

A Logical Algorithm for ML Type Inference

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_31 ◽

2003 ◽

pp. 436-451 ◽

Cited By ~ 2

Author(s):

David McAllester

Keyword(s):

Type Inference

Download Full-text

Environments for Term Rewriting Engines for Free!

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_30 ◽

2003 ◽

pp. 424-435 ◽

Cited By ~ 3

Author(s):

Mark van den Brand ◽

Pierre-Etienne Moreau ◽

Jurgen Vinju

Keyword(s):

Term Rewriting

Download Full-text

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_14 ◽

2003 ◽

pp. 180-196 ◽

Cited By ~ 11

Author(s):

Kumar Neeraj Verma

Keyword(s):

Tree Automata ◽

Closure Properties

Download Full-text

New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_12 ◽

2003 ◽

pp. 148-164 ◽

Cited By ~ 37

Author(s):

Hubert Comon-Lundh ◽

Véronique Cortier

Keyword(s):

Cryptographic Protocols ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Efficient Reductions with Director Strings

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-44881-0_5 ◽

2003 ◽

pp. 46-60 ◽

Cited By ~ 6

Author(s):

François-Régis Sinot ◽

Maribel Fernández ◽

Ian Mackie

Download Full-text

Rewriting Techniques and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

XML Schema, Tree Logic and Sheaves Automata

Expression Reduction Systems with Patterns

Relating Derivation Lengths with the Slow-Growing Hierarchy Directly

Testing Extended Regular Language Membership Incrementally by Rewriting

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism

A Logical Algorithm for ML Type Inference

Environments for Term Rewriting Engines for Free!

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties

New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols

Efficient Reductions with Director Strings

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