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

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540614647, 9783540685968
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

EPIC: An equational language Abstract machine and supporting tools

1996 ◽  
pp. 424-427 ◽  
Author(s):  
H. R. Walters ◽  
Juris F. Th.Kamperman
Keyword(s):  
Abstract Machine

Higher-order narrowing with definitional trees

1996 ◽  
pp. 138-152 ◽  
Author(s):  
Michael Hanus ◽  
Christian Prehofer
Keyword(s):  
Higher Order

scholarly journals Coherence for sharing proof nets

1996 ◽  
pp. 215-229 ◽  
Author(s):  
S. Guerrini ◽  
S. Martini ◽  
A. Masini
Keyword(s):  
Proof Nets

scholarly journals An algorithm for distributive unification

1996 ◽  
pp. 287-301 ◽  
Author(s):  
Manfred Schmidt-Schauß
Load More ...
Sign in / Sign up

Export Citation Format

Share Document