Searching for "An Introduction to Knuth-Bendix Completion." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Goal Oriented Strategy Based on Completion
- … is proved, and finally the practical aspects of this method are discussed. 1 Introduction Knuth-Bendix…
- Cited by 1 (0 self) – Add To MetaCart
-
A user-interface for Knuth-Bendix completion
- …, 1998 1 Introduction The Knuth-Bendix completion procedure, or more precisely the family of completion…
- Cited by 2 (0 self) – Add To MetaCart
-
Equational Reasoning using AC Constraints
- … for detecting inconsistent rewrite rules. The proposed algorithm is implemented in PROLOG. 1 Introduction Knuth-Bendix…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards a foundation of completion procedures as semidecision procedures
- … Knuth-Bendix completion. 1 Introduction The Knuth-Bendix completion procedure [51] computes a possibly…
- Cited by 12 (5 self) – Add To MetaCart
-
Towards
- … Knuth-Bendix completion. 1 Introduction The Knuth-Bendix completion procedure [51] computes a possibly…
- Add To MetaCart
-
About Changing The Ordering During Knuth-Bendix Completion
- … will show that this assumption is not true. 1 Introduction The Knuth-Bendix completion procedure…
- Cited by 1 (0 self) – Add To MetaCart
-
Goal Oriented Equational Theorem Proving Using Team Work
- …" of the DFG 1 Introduction The Knuth-Bendix completion procedure ([KB70]) is known to be highly efficient…
- Cited by 24 (11 self) – Add To MetaCart
-
SOUR graphs for efficient completion
- …@(email omitted); We introduce a data structure called SOUR graphs and present an efficient Knuth-Bendix completion…
- Cited by 2 (2 self) – Add To MetaCart
-
Goal-Directed Completion using SOUR Graphs
- … Introduction The Knuth Bendix Completion Procedure [7] is the best known procedure for solving word problems…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 9.
