Narrowing Strategies for Arbitrary Canonical Rewrite Systems
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1995-24126
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1995
Authors
Publisher
IOS Press
Available in full text
January 1, 1995
IOS Press