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

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705888, 9783540705901
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modular Termination of Basic Narrowing

2008 ◽  
pp. 1-16 ◽  
Author(s):  
María Alpuente ◽  
Santiago Escobar ◽  
José Iborra

scholarly journals Finer Is Better: Abstraction Refinement for Rewriting Approximations

2008 ◽  
pp. 48-62 ◽  
Author(s):  
Yohan Boichut ◽  
Roméo Courbis ◽  
Pierre-Cyrille Héam ◽  
Olga Kouchnarenko
Keyword(s):  
Abstraction Refinement

Maximal Termination

2008 ◽  
pp. 110-125 ◽  
Author(s):  
Carsten Fuhs ◽  
Jürgen Giesl ◽  
Aart Middeldorp ◽  
Peter Schneider-Kamp ◽  
René Thiemann ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document