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

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539049, 9783540463832
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Redex capturing in term graph rewriting (concise version)

1991 ◽  
pp. 13-24 ◽  
Author(s):  
William M. Farmer ◽  
Ronald J. Watro
Keyword(s):  
Graph Rewriting

scholarly journals Transfinite reductions in orthogonal term rewriting systems

1991 ◽  
pp. 1-12 ◽  
Author(s):  
J. R. Kennaway ◽  
J. W. Klop ◽  
M. R. Sleep ◽  
F. J. Vries
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems

Goal directed strategies for paramodulation

1991 ◽  
pp. 150-161 ◽  
Author(s):  
Wayne Snyder ◽  
Christopher Lynch

Detecting redundant narrowing derivations by the LSE-SL reducibility test

1991 ◽  
pp. 74-85 ◽  
Author(s):  
Stefan Krischer ◽  
Alexander Bockmayr

Modular higher-order E-unification

1991 ◽  
pp. 200-214 ◽  
Author(s):  
Tobias Nipkow ◽  
Zhenyu Qian
Keyword(s):  
Higher Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document