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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540172208, 9783540474210
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Ground confluence

1987 ◽  
pp. 156-167 ◽  
Author(s):  
Richard Göbel

scholarly journals Detecting looping simplifications

1987 ◽  
pp. 54-61 ◽  
Author(s):  
Paul Walton Purdom

scholarly journals Structured contextual rewriting

1987 ◽  
pp. 168-179
Author(s):  
Qian Zhenyu

scholarly journals Term rewriting systems with priorities

1987 ◽  
pp. 83-94 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra ◽  
J. W. Klop
Keyword(s):  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Rewriting Systems

scholarly journals Completion for rewriting modulo a congruence

1987 ◽  
pp. 192-203 ◽  
Author(s):  
Leo Bachmair ◽  
Nachum Dershowitz
Load More ...
Sign in / Sign up

Export Citation Format

Share Document