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

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540368342, 9783540368359
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Propositional Tree Automata

2006 ◽  
pp. 50-65 ◽  
Author(s):  
Joe Hendrix ◽  
Hitoshi Ohsaki ◽  
Mahesh Viswanathan
Keyword(s):  
Tree Automata

scholarly journals Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages

2006 ◽  
pp. 297-312 ◽  
Author(s):  
Jürgen Giesl ◽  
Stephan Swiderski ◽  
Peter Schneider-Kamp ◽  
René Thiemann
Keyword(s):  
Programming Languages ◽  
Term Rewriting ◽  
Termination Analysis

scholarly journals Generalizing Newman’s Lemma for Left-Linear Rewrite Systems

2006 ◽  
pp. 66-80 ◽  
Author(s):  
Bernhard Gramlich ◽  
Salvador Lucas
Keyword(s):  
Rewrite Systems

scholarly journals Hierarchical Combination of Intruder Theories

2006 ◽  
pp. 108-122 ◽  
Author(s):  
Yannick Chevalier ◽  
Michaël Rusinowitch

scholarly journals Rewriting Models of Boolean Programs

2006 ◽  
pp. 136-150 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Javier Esparza

Predictive Labeling

2006 ◽  
pp. 313-327 ◽  
Author(s):  
Nao Hirokawa ◽  
Aart Middeldorp

Feasible Trace Reconstruction for Rewriting Approximations

2006 ◽  
pp. 123-135 ◽  
Author(s):  
Yohan Boichut ◽  
Thomas Genet
Load More ...
Sign in / Sign up

Export Citation Format

Share Document