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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540421177, 9783540451273
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Termination of Higher-Order Rewriting

2001 ◽  
pp. 261-275 ◽  
Author(s):  
Femke van Raamsdonk
Keyword(s):  
Higher Order

Context Unification and Traversal Equations

2001 ◽  
pp. 169-184 ◽  
Author(s):  
Jordi Levy ◽  
Mateu Villaret

Combining Pattern E-Unification Algorithms

2001 ◽  
pp. 63-76
Author(s):  
Alexandre Boudet ◽  
Evelyne Contejean
Keyword(s):  
Unification Algorithms

Uniform Normalisation beyond Orthogonality

2001 ◽  
pp. 122-136 ◽  
Author(s):  
Zurab Khasidashvili ◽  
Mizuhito Ogawa ◽  
Vincent van Oostrom

scholarly journals Beta Reduction Constraints

2001 ◽  
pp. 31-46 ◽  
Author(s):  
Manuel Bodirsky ◽  
Katrin Erk ◽  
Alexander Koller ◽  
Joachim Niehren
Load More ...
Sign in / Sign up

Export Citation Format

Share Document