Conditional Term Rewriting Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540192428, 9783540391661
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On word problems in Horn theories

1988 ◽  
pp. 144-160 ◽  
Author(s):  
Emmanuel Kounalis ◽  
Michael Rusinowitch
Keyword(s):  
Word Problems ◽  
Horn Theories

scholarly journals Confluence of conditional rewrite systems

1988 ◽  
pp. 31-44 ◽  
Author(s):  
Nachum Dershowitz ◽  
Mitsuhiro Okada ◽  
G. Sivakumar
Keyword(s):  
Rewrite Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document