Keyword : constraint-based multi-completion


Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
Haruhiko SATO Masahito KURIHARA Sarah WINKLER Aart MIDDELDORP 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2 ; pp. 220-234
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
equational theorem provingterm rewriting systemKnuth-Bendix completionmulti-completionconstraint-based multi-completion
 Summary | Full Text:PDF(1MB)