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

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540402541, 9783540448815
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals XML Schema, Tree Logic and Sheaves Automata

2003 ◽  
pp. 246-263 ◽  
Author(s):  
Silvano Dal Zilio ◽  
Denis Lugiez
Keyword(s):  
Xml Schema

Expression Reduction Systems with Patterns

2003 ◽  
pp. 107-122 ◽  
Author(s):  
Julien Forest ◽  
Delia Kesner

Relating Derivation Lengths with the Slow-Growing Hierarchy Directly

2003 ◽  
pp. 296-310 ◽  
Author(s):  
Georg Moser ◽  
Andreas Weiermann
Keyword(s):  
Slow Growing

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

2003 ◽  
pp. 483-498 ◽  
Author(s):  
Hitoshi Ohsaki ◽  
Hiroyuki Seki ◽  
Toshinori Takai
Keyword(s):  
Tree Languages

A Logical Algorithm for ML Type Inference

2003 ◽  
pp. 436-451 ◽  
Author(s):  
David McAllester
Keyword(s):  
Type Inference

scholarly journals Environments for Term Rewriting Engines for Free!

2003 ◽  
pp. 424-435 ◽  
Author(s):  
Mark van den Brand ◽  
Pierre-Etienne Moreau ◽  
Jurgen Vinju
Keyword(s):  
Term Rewriting

Efficient Reductions with Director Strings

2003 ◽  
pp. 46-60 ◽  
Author(s):  
François-Régis Sinot ◽  
Maribel Fernández ◽  
Ian Mackie
Load More ...
Sign in / Sign up

Export Citation Format

Share Document